Skip to content

Actions: a16z/halmos

Actions

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
690 workflow runs
690 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

dynamically locate z3 in the venv pre-commit #665: Commit 5803051 pushed by 0xkarmacoma
January 23, 2025 01:09 24s fix/early-exit
fix/early-exit
January 23, 2025 01:09 24s
fix --early-exit pre-commit #664: Pull request #437 synchronize by 0xkarmacoma
January 22, 2025 23:19 24s fix/early-exit
fix/early-exit
January 22, 2025 23:19 24s
print venv contents pre-commit #663: Commit 60ef79c pushed by 0xkarmacoma
January 22, 2025 23:19 21s fix/early-exit
fix/early-exit
January 22, 2025 23:19 21s
fix --early-exit pre-commit #662: Pull request #437 synchronize by 0xkarmacoma
January 22, 2025 23:00 21s fix/early-exit
fix/early-exit
January 22, 2025 23:00 21s
finish merge pre-commit #661: Commit 5068e59 pushed by 0xkarmacoma
January 22, 2025 23:00 20s fix/early-exit
fix/early-exit
January 22, 2025 23:00 20s
XXX print path to see what's up on windows ci pre-commit #660: Commit 1e8c6cd pushed by 0xkarmacoma
January 22, 2025 22:39 25s fix/early-exit
fix/early-exit
January 22, 2025 22:39 25s
fix: check infeasible errors (#445) pre-commit #659: Commit 028d726 pushed by daejunpark
January 22, 2025 01:13 26s main
main
January 22, 2025 01:13 26s
fix: check infeasible errors pre-commit #658: Pull request #445 synchronize by daejunpark
January 21, 2025 21:43 23s ci/snekmate
ci/snekmate
January 21, 2025 21:43 23s
debug message for checking error conditions pre-commit #657: Commit 12ec493 pushed by daejunpark
January 21, 2025 21:43 23s ci/snekmate
ci/snekmate
January 21, 2025 21:43 23s
fix: check infeasible errors pre-commit #656: Pull request #445 opened by daejunpark
January 21, 2025 21:19 21s ci/snekmate
ci/snekmate
January 21, 2025 21:19 21s
fix: check infeasible errors pre-commit #655: Commit 11e84e4 pushed by daejunpark
January 21, 2025 21:17 21s ci/snekmate
ci/snekmate
January 21, 2025 21:17 21s
debug pre-commit #654: Commit 6a34795 pushed by daejunpark
January 21, 2025 19:42 27s ci/snekmate
ci/snekmate
January 21, 2025 19:42 27s
ci: snekmate venom pre-commit #653: Commit e3a6b22 pushed by daejunpark
January 21, 2025 19:16 29s ci/snekmate
ci/snekmate
January 21, 2025 19:16 29s
fix --early-exit pre-commit #652: Pull request #437 synchronize by 0xkarmacoma
January 18, 2025 01:15 34s fix/early-exit
fix/early-exit
January 18, 2025 01:15 34s
update uv version pre-commit #651: Commit f43940a pushed by 0xkarmacoma
January 18, 2025 01:15 23s fix/early-exit
fix/early-exit
January 18, 2025 01:15 23s
fix --early-exit pre-commit #650: Pull request #437 synchronize by 0xkarmacoma
January 18, 2025 00:59 21s fix/early-exit
fix/early-exit
January 18, 2025 00:59 21s
warn if z3 is not found pre-commit #649: Commit 4973039 pushed by 0xkarmacoma
January 18, 2025 00:59 27s fix/early-exit
fix/early-exit
January 18, 2025 00:59 27s
fix --early-exit pre-commit #648: Pull request #437 synchronize by 0xkarmacoma
January 18, 2025 00:54 20s fix/early-exit
fix/early-exit
January 18, 2025 00:54 20s
try specifying full path to z3 pre-commit #647: Commit 71deed9 pushed by 0xkarmacoma
January 18, 2025 00:54 21s fix/early-exit
fix/early-exit
January 18, 2025 00:54 21s
fix --early-exit pre-commit #646: Pull request #437 synchronize by 0xkarmacoma
January 18, 2025 00:48 25s fix/early-exit
fix/early-exit
January 18, 2025 00:48 25s
trying a thing on windows pre-commit #645: Commit fd6cdf7 pushed by 0xkarmacoma
January 18, 2025 00:48 21s fix/early-exit
fix/early-exit
January 18, 2025 00:48 21s
fix --early-exit pre-commit #644: Pull request #437 synchronize by 0xkarmacoma
January 18, 2025 00:41 21s fix/early-exit
fix/early-exit
January 18, 2025 00:41 21s
TemporaryDirectory 3.11 compatibility support pre-commit #643: Commit 2816ed5 pushed by 0xkarmacoma
January 18, 2025 00:41 27s fix/early-exit
fix/early-exit
January 18, 2025 00:41 27s
fix --early-exit pre-commit #642: Pull request #437 synchronize by 0xkarmacoma
January 18, 2025 00:20 28s fix/early-exit
fix/early-exit
January 18, 2025 00:20 28s
use tempfile and path to manage smt2 files pre-commit #641: Commit 198ecd2 pushed by 0xkarmacoma
January 18, 2025 00:20 20s fix/early-exit
fix/early-exit
January 18, 2025 00:20 20s