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
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix: manually solve dynamic array overflow conditions (#366) Push halmos-builder package #10: Commit 20cd93a pushed by daejunpark
September 25, 2024 01:56 40s v0.2.0
v0.2.0
September 25, 2024 01:56 40s
fix: smt encoding for evm div-by-zero (#271) Push halmos-builder package #9: Commit f5acded pushed by daejunpark
August 14, 2024 05:05 44s v0.1.14
v0.1.14
August 14, 2024 05:05 44s
lint Push halmos-builder package #8: Commit bb3d8e7 pushed by daejunpark
August 13, 2024 05:26 1m 9s fix-bv-div-by-zero-smt-encoding
fix-bv-div-by-zero-smt-encoding
August 13, 2024 05:26 1m 9s
Merge branch 'main' into quiet-metadata-warning Push halmos-builder package #7: Commit a55c93c pushed by karmacoma-eth
July 26, 2024 01:14 40s quiet-metadata-warning
quiet-metadata-warning
July 26, 2024 01:14 40s
fix workflows (#330) Push halmos-builder package #6: Commit d4c0124 pushed by karmacoma-eth
July 26, 2024 01:12 51s main
main
July 26, 2024 01:12 51s
build halmos package from halmos-builder:latest Push halmos-builder package #5: Commit 5114f2e pushed by karmacoma-eth
July 24, 2024 00:33 50s chore-workflows
chore-workflows
July 24, 2024 00:33 50s
add intermediary halmos-builder image and dockerize more workflows (#… Push halmos-builder package #4: Commit fcadd92 pushed by karmacoma-eth
July 19, 2024 23:31 39s main
main
July 19, 2024 23:31 39s
fix publish workflows Push halmos-builder package #3: Commit 6fd3c68 pushed by karmacoma-eth
June 7, 2024 22:38 1m 52s chore-workflows
chore-workflows
June 7, 2024 22:38 1m 52s
fix publish-halmos-builder-package.yml Push halmos-builder package #2: Commit 763d041 pushed by karmacoma-eth
June 7, 2024 22:33 9s chore-workflows
chore-workflows
June 7, 2024 22:33 9s
add halmos-builder intermediary package Push halmos-builder package #1: Commit 45e1c5f pushed by karmacoma-eth
June 7, 2024 22:31 16s chore-workflows
chore-workflows
June 7, 2024 22:31 16s