Skip to content

Actions: a16z/halmos

Actions

Push halmos package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish-halmos-package.yml
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push halmos package Push halmos package #46: completed by daejunpark
1m 9s
1m 9s
Push halmos package Push halmos package #45: completed by daejunpark
1m 24s
1m 24s
create solver_output in case of errors too (#570) Push halmos package #44: Commit ba94bdc pushed by daejunpark
1m 17s v0.3.3
v0.3.3
1m 17s
Push halmos package Push halmos package #43: completed by daejunpark
1m 16s
1m 16s
Push halmos package Push halmos package #42: completed by daejunpark
1m 22s
1m 22s
add option to download bitwuzla's static binaries (#566) Push halmos package #41: Commit d2365db pushed by daejunpark
1m 14s v0.3.2
v0.3.2
1m 14s
Push halmos package Push halmos package #40: completed by daejunpark
1m 28s
1m 28s
Push halmos package Push halmos package #39: completed by daejunpark
1m 10s
1m 10s
temporarily avoid rich 14.1.0 (#564) Push halmos package #38: Commit 72fd7a0 pushed by daejunpark
1m 22s v0.3.1
v0.3.1
1m 22s
Push halmos package Push halmos package #37: completed by daejunpark
1m 11s
1m 11s
Push halmos package Push halmos package #36: completed by daejunpark
1m 30s
1m 30s
feat: save timeout queries for offline solving (#552) Push halmos package #35: Commit dac5018 pushed by daejunpark
1m 25s v0.3.0
v0.3.0
1m 25s
Push halmos package Push halmos package #34: completed by daejunpark
1m 13s
1m 13s
Push halmos package Push halmos package #33: completed by daejunpark
1m 11s
1m 11s
feat: support for TLOAD/TSTORE (#463) Push halmos package #32: Commit e0a4de6 pushed by daejunpark
1m 12s v0.2.6
v0.2.6
1m 12s
Push halmos package Push halmos package #31: completed by daejunpark
1m 23s
1m 23s
Push halmos package Push halmos package #30: completed by daejunpark
1m 9s
1m 9s
test: disable gc for morpho test (#460) Push halmos package #29: Commit 5c5ca39 pushed by daejunpark
1m 22s v0.2.5
v0.2.5
1m 22s
Push halmos package Push halmos package #28: completed by daejunpark
1m 7s
1m 7s
Push halmos package Push halmos package #27: completed by daejunpark
1m 9s
1m 9s
fix: check infeasible errors (#445) Push halmos package #26: Commit 028d726 pushed by daejunpark
1m 9s v0.2.4
v0.2.4
1m 9s
Push halmos package Push halmos package #25: completed by daejunpark
1m 10s
1m 10s
Push halmos package Push halmos package #24: completed by daejunpark
1m 8s
1m 8s
feat: support for snapshot cheatcodes (#427) Push halmos package #23: Commit 0ef9341 pushed by daejunpark
1m 50s v0.2.3
v0.2.3
1m 50s
Push halmos package Push halmos package #22: completed by daejunpark
1m 10s
1m 10s