Skip to content

Actions: a16z/halmos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,224 workflow runs
1,224 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
Support of OPCODE BLOBBASEFEE , BLOBHASH and CLZ pre-commit #1430: Pull request #583 opened by HugoDowsers
Action required HugoDowsers:main
HugoDowsers:main
Action required
Support of OPCODE BLOBBASEFEE , BLOBHASH and CLZ Test #1704: Pull request #583 opened by HugoDowsers
Action required HugoDowsers:main
HugoDowsers:main
Action required
Support of OPCODE BLOBBASEFEE , BLOBHASH and CLZ Test FFI #1288: Pull request #583 opened by HugoDowsers
Action required HugoDowsers:main
HugoDowsers:main
Action required
Scheduled CodeQL #870: by github-advanced-security AI
1m 9s main
main
1m 9s
Scheduled CodeQL #869: by github-advanced-security AI
1m 14s main
main
1m 14s
Scheduled CodeQL #868: by github-advanced-security AI
1m 28s main
main
1m 28s
fix: shorten bytecode output in unknown deployed bytecode warning (#573) Test FFI #1273: Commit 079bb42 pushed by daejunpark
1m 2s main
main
1m 2s
fix: shorten bytecode output in unknown deployed bytecode warning (#573) pre-commit #1415: Commit 079bb42 pushed by daejunpark
15s main
main
15s
fix: shorten bytecode output in unknown deployed bytecode warning (#573) Test long #574: Commit 079bb42 pushed by daejunpark
20m 9s main
main
20m 9s
fix: shorten bytecode output in unknown deployed bytecode warning (#573) Test #1689: Commit 079bb42 pushed by daejunpark
4m 52s main
main
4m 52s
fix: shorten bytecode output in unknown deployed bytecode warning (#573) Test external projects #625: Commit 079bb42 pushed by daejunpark
13m 13s main
main
13m 13s
Push on main CodeQL #867: by daejunpark
1m 31s main
main
1m 31s
experiment with custom branching solver approach pre-commit #1414: Pull request #574 opened by daejunpark
15s perf/custom-branching-solver
perf/custom-branching-solver
15s
experiment with custom branching solver approach Test #1688: Pull request #574 opened by daejunpark
3m 48s perf/custom-branching-solver
perf/custom-branching-solver
3m 48s
experiment with custom branching solver approach Test FFI #1272: Pull request #574 opened by daejunpark
57s perf/custom-branching-solver
perf/custom-branching-solver
57s
PR #574 CodeQL #866: by daejunpark
1m 33s refs/pull/574/head
refs/pull/574/head
1m 33s
experiment with custom branching solver approach pre-commit #1413: Commit 3744a89 pushed by daejunpark
24s perf/custom-branching-solver
perf/custom-branching-solver
24s
experiment with custom branching solver approach pre-commit #1412: Commit 9fa2a6f pushed by daejunpark
13s perf/custom-branching-solver
perf/custom-branching-solver
13s
fix: shorten bytecode output in unknown deployed bytecode warning pre-commit #1411: Pull request #573 opened by daejunpark
20s fix/unknown-bytecode-warning
fix/unknown-bytecode-warning
20s
fix: shorten bytecode output in unknown deployed bytecode warning Test FFI #1271: Pull request #573 opened by daejunpark
1m 2s fix/unknown-bytecode-warning
fix/unknown-bytecode-warning
1m 2s
fix: shorten bytecode output in unknown deployed bytecode warning Test #1687: Pull request #573 opened by daejunpark
5m 25s fix/unknown-bytecode-warning
fix/unknown-bytecode-warning
5m 25s
PR #573 CodeQL #865: by daejunpark
1m 38s refs/pull/573/head
refs/pull/573/head
1m 38s
fix: shorten bytecode output in unknown deployed bytecode warning pre-commit #1410: Commit ef38d75 pushed by daejunpark
16s fix/unknown-bytecode-warning
fix/unknown-bytecode-warning
16s
fix: immediately halt execution on assert(false) (#572) Test external projects #624: Commit e20e8f6 pushed by daejunpark
16m 47s main
main
16m 47s
fix: immediately halt execution on assert(false) (#572) Test #1686: Commit e20e8f6 pushed by daejunpark
3m 59s main
main
3m 59s