Skip to content

Actions: pcaversaccio/snekmate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,690 workflow run results
2,690 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

💥 Add NIST P-256 (a.k.a. secp256r1) ECDSA Verification Function 🔍️ CodeQL #601: Pull request #243 synchronize by pcaversaccio
May 12, 2024 17:44 2m 39s feat/p256-verifier
feat/p256-verifier
May 12, 2024 17:44 2m 39s
💥 Add NIST P-256 (a.k.a. secp256r1) ECDSA Verification Function 👮‍♂️ Sanity checks #2157: Pull request #243 synchronize by pcaversaccio
May 12, 2024 17:44 5m 2s feat/p256-verifier
feat/p256-verifier
May 12, 2024 17:44 5m 2s
💥 Add NIST P-256 (a.k.a. secp256r1) ECDSA Verification Function 🕵️‍♂️ Test smart contracts #2219: Pull request #243 synchronize by pcaversaccio
May 12, 2024 17:44 17m 58s feat/p256-verifier
feat/p256-verifier
May 12, 2024 17:44 17m 58s
♻️ Refactor 🔍️ CodeQL #600: Commit 1b11275 pushed by pcaversaccio
May 12, 2024 17:44 2m 40s feat/p256-verifier
feat/p256-verifier
May 12, 2024 17:44 2m 40s
♻️ Refactor 👮‍♂️ Sanity checks #2156: Commit 1b11275 pushed by pcaversaccio
May 12, 2024 17:44 5m 24s feat/p256-verifier
feat/p256-verifier
May 12, 2024 17:44 5m 24s
♻️ Refactor 🕵️‍♂️ Test smart contracts #2218: Commit 1b11275 pushed by pcaversaccio
May 12, 2024 17:44 18m 1s feat/p256-verifier
feat/p256-verifier
May 12, 2024 17:44 18m 1s
💥 Add halmos-Based Symbolic Tests 🔍️ CodeQL #599: Pull request #240 synchronize by pcaversaccio
May 12, 2024 11:52 4m 23s feat/halmos
feat/halmos
May 12, 2024 11:52 4m 23s
💥 Add halmos-Based Symbolic Tests 🕵️‍♂️ Test smart contracts #2217: Pull request #240 synchronize by pcaversaccio
May 12, 2024 11:52 4m 43s feat/halmos
feat/halmos
May 12, 2024 11:52 4m 43s
💥 Add halmos-Based Symbolic Tests 👮‍♂️ Sanity checks #2155: Pull request #240 synchronize by pcaversaccio
May 12, 2024 11:52 6m 9s feat/halmos
feat/halmos
May 12, 2024 11:52 6m 9s
Merge branch 'modules' into feat/halmos 🔍️ CodeQL #598: Commit f9b3813 pushed by pcaversaccio
May 12, 2024 11:52 3m 6s feat/halmos
feat/halmos
May 12, 2024 11:52 3m 6s
Merge branch 'modules' into feat/halmos 🕵️‍♂️ Test smart contracts #2216: Commit f9b3813 pushed by pcaversaccio
May 12, 2024 11:52 4m 30s feat/halmos
feat/halmos
May 12, 2024 11:52 4m 30s
Merge branch 'modules' into feat/halmos 👮‍♂️ Sanity checks #2154: Commit f9b3813 pushed by pcaversaccio
May 12, 2024 11:52 6m 29s feat/halmos
feat/halmos
May 12, 2024 11:52 6m 29s
💥 Add NIST P-256 (a.k.a. secp256r1) ECDSA Verification Function 👮‍♂️ Sanity checks #2153: Pull request #243 synchronize by pcaversaccio
May 12, 2024 11:51 4m 55s feat/p256-verifier
feat/p256-verifier
May 12, 2024 11:51 4m 55s
💥 Add NIST P-256 (a.k.a. secp256r1) ECDSA Verification Function 🔍️ CodeQL #597: Pull request #243 synchronize by pcaversaccio
May 12, 2024 11:51 3m 33s feat/p256-verifier
feat/p256-verifier
May 12, 2024 11:51 3m 33s
💥 Add NIST P-256 (a.k.a. secp256r1) ECDSA Verification Function 🕵️‍♂️ Test smart contracts #2215: Pull request #243 synchronize by pcaversaccio
May 12, 2024 11:51 43m 36s feat/p256-verifier
feat/p256-verifier
May 12, 2024 11:51 43m 36s
Merge branch 'modules' into feat/p256-verifier 👮‍♂️ Sanity checks #2152: Commit e5e5d5a pushed by pcaversaccio
May 12, 2024 11:51 4m 53s feat/p256-verifier
feat/p256-verifier
May 12, 2024 11:51 4m 53s
Merge branch 'modules' into feat/p256-verifier 🔍️ CodeQL #596: Commit e5e5d5a pushed by pcaversaccio
May 12, 2024 11:51 2m 52s feat/p256-verifier
feat/p256-verifier
May 12, 2024 11:51 2m 52s
Merge branch 'modules' into feat/p256-verifier 🕵️‍♂️ Test smart contracts #2214: Commit e5e5d5a pushed by pcaversaccio
May 12, 2024 11:51 43m 2s feat/p256-verifier
feat/p256-verifier
May 12, 2024 11:51 43m 2s
🔁 Upgrade to Vyper Version 0.4.0 and Make All 🐍 snekmate Contracts Module-Friendly 👮‍♂️ Sanity checks #2151: Pull request #207 synchronize by pcaversaccio
May 12, 2024 11:50 4m 50s modules
modules
May 12, 2024 11:50 4m 50s
🔁 Upgrade to Vyper Version 0.4.0 and Make All 🐍 snekmate Contracts Module-Friendly 🔍️ CodeQL #595: Pull request #207 synchronize by pcaversaccio
May 12, 2024 11:50 2m 42s modules
modules
May 12, 2024 11:50 2m 42s
🔁 Upgrade to Vyper Version 0.4.0 and Make All 🐍 snekmate Contracts Module-Friendly 🕵️‍♂️ Test smart contracts #2213: Pull request #207 synchronize by pcaversaccio
May 12, 2024 11:50 17m 3s modules
modules
May 12, 2024 11:50 17m 3s
Merge branch 'main' into modules 👮‍♂️ Sanity checks #2150: Commit 4554750 pushed by pcaversaccio
May 12, 2024 11:50 5m 35s modules
modules
May 12, 2024 11:50 5m 35s
Merge branch 'main' into modules 🔍️ CodeQL #594: Commit 4554750 pushed by pcaversaccio
May 12, 2024 11:50 2m 42s modules
modules
May 12, 2024 11:50 2m 42s
Merge branch 'main' into modules 🕵️‍♂️ Test smart contracts #2212: Commit 4554750 pushed by pcaversaccio
May 12, 2024 11:50 17m 10s modules
modules
May 12, 2024 11:50 17m 10s
🔁 Update solhint to Version 5.0.0 🔍️ CodeQL #593: Commit da6092d pushed by pcaversaccio
May 12, 2024 11:50 2m 48s main
main
May 12, 2024 11:50 2m 48s