Skip to content

Actions: a16z/halmos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,815 workflow runs
4,815 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #409: by github-advanced-security bot
December 21, 2024 21:05 1m 0s main
main
December 21, 2024 21:05 1m 0s
actually parse external solver output using smtlib pre-commit #559: Commit f9efd94 pushed by karmacoma-eth
December 21, 2024 01:53 21s fix/early-exit
fix/early-exit
December 21, 2024 01:53 21s
wip pre-commit #558: Commit 971e834 pushed by daejunpark
December 20, 2024 23:17 22s feat/calldata-dyn
feat/calldata-dyn
December 20, 2024 23:17 22s
Test long Test long #449: Manually run by daejunpark
December 20, 2024 23:15 4m 30s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
December 20, 2024 23:15 4m 30s
Test external projects Test external projects #495: Manually run by daejunpark
December 20, 2024 23:15 20m 55s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
December 20, 2024 23:15 20m 55s
feat: mappings from bytecode to contract name Test FFI #832: Pull request #429 opened by daejunpark
December 20, 2024 23:14 1m 3s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
December 20, 2024 23:14 1m 3s
feat: mappings from bytecode to contract name Test #1247: Pull request #429 opened by daejunpark
December 20, 2024 23:14 6m 12s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
December 20, 2024 23:14 6m 12s
feat: mappings from bytecode to contract name pre-commit #557: Pull request #429 opened by daejunpark
December 20, 2024 23:14 22s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
December 20, 2024 23:14 22s
PR #429 CodeQL #408: by daejunpark
December 20, 2024 23:14 1m 7s refs/pull/429/head
refs/pull/429/head
December 20, 2024 23:14 1m 7s
feat: mappings from bytecode to contract name pre-commit #556: Commit 65ac6e5 pushed by daejunpark
December 20, 2024 23:12 15s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
December 20, 2024 23:12 15s
XXX early exit wired actually wired pre-commit #555: Commit 512a85b pushed by karmacoma-eth
December 20, 2024 02:18 20s fix/early-exit
fix/early-exit
December 20, 2024 02:18 20s
Push halmos package Push halmos package #25: completed by daejunpark
December 18, 2024 19:42 1m 10s
December 18, 2024 19:42 1m 10s
Push halmos-builder package Push halmos-builder package #35: completed by daejunpark
December 18, 2024 19:41 1m 32s
December 18, 2024 19:41 1m 32s
Push halmos package Push halmos package #24: completed by daejunpark
December 18, 2024 19:37 1m 8s
December 18, 2024 19:37 1m 8s
v0.2.3 Publish to PyPI #5: Release v0.2.3 published by daejunpark
December 18, 2024 19:36 1m 18s
December 18, 2024 19:36 1m 18s
feat: support for snapshot cheatcodes (#427) pre-commit #554: Commit 0ef9341 pushed by daejunpark
December 18, 2024 19:36 16s v0.2.3
v0.2.3
December 18, 2024 19:36 16s
feat: support for snapshot cheatcodes (#427) Push halmos package #23: Commit 0ef9341 pushed by daejunpark
December 18, 2024 19:36 1m 50s v0.2.3
v0.2.3
December 18, 2024 19:36 1m 50s
feat: support for snapshot cheatcodes (#427) Push solvers package #22: Commit 0ef9341 pushed by daejunpark
December 18, 2024 19:36 4m 36s v0.2.3
v0.2.3
December 18, 2024 19:36 4m 36s
feat: support for snapshot cheatcodes (#427) Push halmos-builder package #34: Commit 0ef9341 pushed by daejunpark
December 18, 2024 19:36 1m 10s v0.2.3
v0.2.3
December 18, 2024 19:36 1m 10s
feat: support for snapshot cheatcodes (#427) Test #1246: Commit 0ef9341 pushed by daejunpark
December 17, 2024 02:36 6m 8s main
main
December 17, 2024 02:36 6m 8s
feat: support for snapshot cheatcodes (#427) Test FFI #831: Commit 0ef9341 pushed by daejunpark
December 17, 2024 02:36 48s main
main
December 17, 2024 02:36 48s
feat: support for snapshot cheatcodes (#427) Test external projects #494: Commit 0ef9341 pushed by daejunpark
December 17, 2024 02:36 19m 25s main
main
December 17, 2024 02:36 19m 25s
feat: support for snapshot cheatcodes (#427) pre-commit #553: Commit 0ef9341 pushed by daejunpark
December 17, 2024 02:36 29s main
main
December 17, 2024 02:36 29s
feat: support for snapshot cheatcodes (#427) Test long #448: Commit 0ef9341 pushed by daejunpark
December 17, 2024 02:36 4m 25s main
main
December 17, 2024 02:36 4m 25s
Push on main CodeQL #407: by github-advanced-security bot
December 17, 2024 02:36 1m 35s main
main
December 17, 2024 02:36 1m 35s