Skip to content

Actions: pcaversaccio/snekmate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,780 workflow runs
3,780 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⚗️ Venom-based Halmos symbolic tests ⚗️ Venom-based Halmos symbolic tests #556: Scheduled
19m 42s main
main
19m 42s
🧪 Venom-based smart contract tests 🧪 Venom-based smart contract tests #708: Scheduled
22m 16s main
main
22m 16s
🕵️‍♂️ Test smart contracts 🕵️‍♂️ Test smart contracts #3449: Scheduled
23m 31s main
main
23m 31s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #777: Scheduled
19m 34s main
main
19m 34s
⚗️ Venom-based Halmos symbolic tests ⚗️ Venom-based Halmos symbolic tests #555: Scheduled
19m 6s main
main
19m 6s
🧪 Venom-based smart contract tests 🧪 Venom-based smart contract tests #707: Scheduled
18m 52s main
main
18m 52s
🕵️‍♂️ Test smart contracts 🕵️‍♂️ Test smart contracts #3448: Scheduled
23m 40s main
main
23m 40s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #776: Scheduled
19m 20s main
main
19m 20s
👷 Update actions/checkout GitHub Action to Version v6 🕵️‍♂️ Test smart contracts #3446: Commit df77c60 pushed by pcaversaccio
22m 7s main
main
22m 7s
👷 Update actions/checkout GitHub Action to Version v6 👮‍♂️ Sanity checks #3273: Commit df77c60 pushed by pcaversaccio
8m 32s main
main
8m 32s
👷 Update actions/checkout GitHub Action to Version v6 🔍️ CodeQL #1717: Commit df77c60 pushed by pcaversaccio
1m 14s main
main
1m 14s
👷 Update actions/checkout GitHub Action to Version v6 🧪 Venom-based smart contract tests #705: Commit df77c60 pushed by pcaversaccio
21m 17s main
main
21m 17s
👷 Update actions/checkout GitHub Action to Version v6 👁️ Halmos symbolic tests #774: Commit df77c60 pushed by pcaversaccio
21m 5s main
main
21m 5s
👷 Update actions/checkout GitHub Action to Version v6 ⚗️ Venom-based Halmos symbolic tests #553: Commit df77c60 pushed by pcaversaccio
21m 27s main
main
21m 27s
👷 Update actions/checkout Action to v6 🕵️‍♂️ Test smart contracts #3445: Pull request #348 opened by renovate bot
24m 4s renovate/all
renovate/all
24m 4s
👷 Update actions/checkout Action to v6 👁️ Halmos symbolic tests #773: Pull request #348 opened by renovate bot
18m 37s renovate/all
renovate/all
18m 37s
👷 Update actions/checkout Action to v6 🧪 Venom-based smart contract tests #704: Pull request #348 opened by renovate bot
21m 56s renovate/all
renovate/all
21m 56s
👷 Update actions/checkout Action to v6 👮‍♂️ Sanity checks #3272: Pull request #348 opened by renovate bot
8m 36s renovate/all
renovate/all
8m 36s
👷 Update actions/checkout Action to v6 🔍️ CodeQL #1716: Pull request #348 opened by renovate bot
1m 12s renovate/all
renovate/all
1m 12s
👷 Update actions/checkout Action to v6 ⚗️ Venom-based Halmos symbolic tests #552: Pull request #348 opened by renovate bot
19m 35s renovate/all
renovate/all
19m 35s
Update actions/checkout action to v6 🕵️‍♂️ Test smart contracts #3444: Commit e693c9a pushed by renovate bot
23m 9s renovate/all
renovate/all
23m 9s
Update actions/checkout action to v6 🧪 Venom-based smart contract tests #703: Commit e693c9a pushed by renovate bot
19m 15s renovate/all
renovate/all
19m 15s
Update actions/checkout action to v6 ⚗️ Venom-based Halmos symbolic tests #551: Commit e693c9a pushed by renovate bot
20m 19s renovate/all
renovate/all
20m 19s
Update actions/checkout action to v6 👮‍♂️ Sanity checks #3271: Commit e693c9a pushed by renovate bot
9m 57s renovate/all
renovate/all
9m 57s
Update actions/checkout action to v6 👁️ Halmos symbolic tests #772: Commit e693c9a pushed by renovate bot
19m 50s renovate/all
renovate/all
19m 50s