Skip to content

Actions: pcaversaccio/snekmate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
⚗️ Venom-based Halmos symbolic tests ⚗️ Venom-based Halmos symbolic tests #947: Scheduled
43m 52s main
main
43m 52s
🧪 Venom-based smart contract tests 🧪 Venom-based smart contract tests #1098: Scheduled
25m 18s main
main
25m 18s
🕵️‍♂️ Test smart contracts 🕵️‍♂️ Test smart contracts #3839: Scheduled
25m 57s main
main
25m 57s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #1167: Scheduled
29m 26s main
main
29m 26s
⚗️ Venom-based Halmos symbolic tests ⚗️ Venom-based Halmos symbolic tests #946: Scheduled
41m 31s main
main
41m 31s
🧪 Venom-based smart contract tests 🧪 Venom-based smart contract tests #1097: Scheduled
19m 31s main
main
19m 31s
🕵️‍♂️ Test smart contracts 🕵️‍♂️ Test smart contracts #3838: Scheduled
23m 17s main
main
23m 17s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #1166: Scheduled
29m 17s main
main
29m 17s
💥 Add Unbounded Types in Interfaces 🔍️ CodeQL #1929: Pull request #374 synchronize by pcaversaccio
1m 7s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
1m 7s
💥 Add Unbounded Types in Interfaces 👁️ Halmos symbolic tests #1165: Pull request #374 synchronize by pcaversaccio
30m 5s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
30m 5s
💥 Add Unbounded Types in Interfaces 👮‍♂️ Sanity checks #3485: Pull request #374 synchronize by pcaversaccio
8m 45s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
8m 45s
💥 Add Unbounded Types in Interfaces 🧪 Venom-based smart contract tests #1096: Pull request #374 synchronize by pcaversaccio
22m 21s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
22m 21s
💥 Add Unbounded Types in Interfaces ⚗️ Venom-based Halmos symbolic tests #945: Pull request #374 synchronize by pcaversaccio
42m 48s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
42m 48s
💥 Add Unbounded Types in Interfaces 🕵️‍♂️ Test smart contracts #3837: Pull request #374 synchronize by pcaversaccio
22m 35s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
22m 35s
Merge branch 'main' into feat/unbounded-bytestring-return-types-in-in… ⚗️ Venom-based Halmos symbolic tests #944: Commit a7a54f7 pushed by pcaversaccio
44m 22s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
44m 22s
Merge branch 'main' into feat/unbounded-bytestring-return-types-in-in… 🔍️ CodeQL #1928: Commit a7a54f7 pushed by pcaversaccio
1m 8s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
1m 8s
Merge branch 'main' into feat/unbounded-bytestring-return-types-in-in… 👮‍♂️ Sanity checks #3484: Commit a7a54f7 pushed by pcaversaccio
10m 12s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
10m 12s
Merge branch 'main' into feat/unbounded-bytestring-return-types-in-in… 🕵️‍♂️ Test smart contracts #3836: Commit a7a54f7 pushed by pcaversaccio
20m 58s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
20m 58s
Merge branch 'main' into feat/unbounded-bytestring-return-types-in-in… 🧪 Venom-based smart contract tests #1095: Commit a7a54f7 pushed by pcaversaccio
21m 39s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
21m 39s
Merge branch 'main' into feat/unbounded-bytestring-return-types-in-in… 👁️ Halmos symbolic tests #1164: Commit a7a54f7 pushed by pcaversaccio
29m 17s feat/unbounded-bytestring-return-types-in-interfaces
feat/unbounded-bytestring-return-types-in-interfaces
29m 17s
🔁 Update Submodules 👁️ Halmos symbolic tests #1163: Commit 9ef6c9c pushed by pcaversaccio
28m 46s main
main
28m 46s
🔁 Update Submodules 🧪 Venom-based smart contract tests #1094: Commit 9ef6c9c pushed by pcaversaccio
21m 44s main
main
21m 44s
🔁 Update Submodules ⚗️ Venom-based Halmos symbolic tests #943: Commit 9ef6c9c pushed by pcaversaccio
42m 41s main
main
42m 41s
🔁 Update Submodules 👮‍♂️ Sanity checks #3483: Commit 9ef6c9c pushed by pcaversaccio
8m 55s main
main
8m 55s
🔁 Update Submodules 🔍️ CodeQL #1927: Commit 9ef6c9c pushed by pcaversaccio
1m 14s main
main
1m 14s