Skip to content

Actions: a16z/halmos

Actions

Push halmos-builder package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish-halmos-builder-package.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
Push halmos-builder package Push halmos-builder package #33: completed by daejunpark
December 10, 2024 02:43 1m 33s
December 10, 2024 02:43 1m 33s
feat: improve logging (#418) Push halmos-builder package #32: Commit 27f620a pushed by daejunpark
December 10, 2024 02:38 2m 4s v0.2.2
v0.2.2
December 10, 2024 02:38 2m 4s
Push halmos-builder package Push halmos-builder package #31: completed by daejunpark
November 14, 2024 01:25 1m 18s
November 14, 2024 01:25 1m 18s
test: add regression tests for previous issues (#412) Push halmos-builder package #30: Commit ce13a9f pushed by daejunpark
November 14, 2024 01:20 2m 20s v0.2.1
v0.2.1
November 14, 2024 01:20 2m 20s
Push halmos-builder package Push halmos-builder package #29: completed by karmacoma-eth
November 13, 2024 21:54 1m 25s
November 13, 2024 21:54 1m 25s
Push halmos-builder package Push halmos-builder package #28: completed by karmacoma-eth
November 13, 2024 21:54 2m 24s
November 13, 2024 21:54 2m 24s
Merge branch 'main' into feat/truncated-hashes Push halmos-builder package #27: Commit 9b57d15 pushed by karmacoma-eth
November 13, 2024 21:50 1m 20s feat/truncated-hashes
feat/truncated-hashes
November 13, 2024 21:50 1m 20s
customize bash prompt in our docker images (#407) Push halmos-builder package #26: Commit 4fd369f pushed by karmacoma-eth
November 13, 2024 21:49 1m 56s main
main
November 13, 2024 21:49 1m 56s
Push halmos-builder package Push halmos-builder package #25: completed by karmacoma-eth
November 13, 2024 18:49 1m 23s
November 13, 2024 18:49 1m 23s
customize bash prompt in our docker images Push halmos-builder package #24: Commit b1ebbc2 pushed by karmacoma-eth
November 13, 2024 18:44 1m 49s docker-customize-shell-prompt
docker-customize-shell-prompt
November 13, 2024 18:44 1m 49s
Push halmos-builder package Push halmos-builder package #23: completed by karmacoma-eth
November 13, 2024 18:39 1m 59s
November 13, 2024 18:39 1m 59s
Push halmos-builder package Push halmos-builder package #22: completed by karmacoma-eth
November 8, 2024 23:48 1m 22s
November 8, 2024 23:48 1m 22s
more docker workflow tweaks (#405) Push halmos-builder package #21: Commit 4e82a90 pushed by karmacoma-eth
November 8, 2024 23:42 1m 24s main
main
November 8, 2024 23:42 1m 24s
more docker workflow tweaks Push halmos-builder package #20: Commit b360660 pushed by karmacoma-eth
November 8, 2024 23:35 1m 29s chore-workflows
chore-workflows
November 8, 2024 23:35 1m 29s
more docker workflow tweaks Push halmos-builder package #19: Commit a23d260 pushed by karmacoma-eth
November 8, 2024 23:31 1m 20s chore-workflows
chore-workflows
November 8, 2024 23:31 1m 20s
Push halmos-builder package Push halmos-builder package #18: Manually run by karmacoma-eth
November 8, 2024 23:07 1m 32s main
main
November 8, 2024 23:07 1m 32s
update solvers and halmos-builder dockerfiles (#404) Push halmos-builder package #17: Commit 29d9484 pushed by karmacoma-eth
November 8, 2024 22:58 1m 26s main
main
November 8, 2024 22:58 1m 26s
add foundryup to test-external.yml Push halmos-builder package #16: Commit 067e1be pushed by karmacoma-eth
November 8, 2024 19:07 1m 29s chore-workflows
chore-workflows
November 8, 2024 19:07 1m 29s
add foundryup to halmos-builder Push halmos-builder package #15: Commit e7d411f pushed by karmacoma-eth
November 8, 2024 01:30 1m 7s chore-workflows
chore-workflows
November 8, 2024 01:30 1m 7s
wip: print in python expr Push halmos-builder package #14: Commit 4672a7f pushed by daejunpark
October 23, 2024 01:31 1m 6s feat/smt-fuzzing
feat/smt-fuzzing
October 23, 2024 01:31 1m 6s
feat: handle concrete keccaks concretely (WIP) (#391) Push halmos-builder package #13: Commit 9a83860 pushed by karmacoma-eth
October 14, 2024 15:22 1m 21s main
main
October 14, 2024 15:22 1m 21s
Push halmos-builder package Push halmos-builder package #12: Manually run by karmacoma-eth
October 10, 2024 23:17 58s feat/concrete-keccak
feat/concrete-keccak
October 10, 2024 23:17 58s
add missing packages to build native python extensions Push halmos-builder package #11: Commit 1fa67b8 pushed by karmacoma-eth
October 10, 2024 23:16 1m 3s feat/concrete-keccak
feat/concrete-keccak
October 10, 2024 23:16 1m 3s