Skip to content

Actions: a16z/halmos

Actions

Test long

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-long.yml
229 workflow run results
229 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

try out bitwuzla on snekmate Test long #343: Commit e169cae pushed by karmacoma-eth
July 24, 2024 22:17 4m 23s chore-workflows
chore-workflows
July 24, 2024 22:17 4m 23s
move to python >=3.11 per community vote Test long #342: Commit 52c5b66 pushed by karmacoma-eth
July 24, 2024 17:12 4m 12s chore-workflows
chore-workflows
July 24, 2024 17:12 4m 12s
Remove the checkout submodules step Test long #341: Commit 512886c pushed by karmacoma-eth
July 24, 2024 16:36 6m 4s chore-workflows
chore-workflows
July 24, 2024 16:36 6m 4s
try marking submodules as shallow Test long #340: Commit 184b32c pushed by karmacoma-eth
July 24, 2024 16:35 8m 16s chore-workflows
chore-workflows
July 24, 2024 16:35 8m 16s
try --jobs 4 for submodule command Test long #339: Commit bfb02ae pushed by karmacoma-eth
July 24, 2024 01:18 4m 17s chore-workflows
chore-workflows
July 24, 2024 01:18 4m 17s
try a shallow clone of submodules Test long #338: Commit 8fe9f5e pushed by karmacoma-eth
July 24, 2024 01:08 4m 33s chore-workflows
chore-workflows
July 24, 2024 01:08 4m 33s
build halmos package from halmos-builder:latest Test long #337: Commit 5114f2e pushed by karmacoma-eth
July 24, 2024 00:33 4m 16s chore-workflows
chore-workflows
July 24, 2024 00:33 4m 16s
remove path conditions from workflows Test long #336: Commit 33a14d8 pushed by karmacoma-eth
July 24, 2024 00:30 4m 27s chore-workflows
chore-workflows
July 24, 2024 00:30 4m 27s
add intermediary halmos-builder image and dockerize more workflows (#… Test long #335: Commit fcadd92 pushed by karmacoma-eth
July 19, 2024 23:31 4m 22s main
main
July 19, 2024 23:31 4m 22s
More printing of the halmos version Test long #334: Commit ac2848e pushed by karmacoma-eth
July 19, 2024 23:07 4m 19s chore-workflows
chore-workflows
July 19, 2024 23:07 4m 19s
add printing halmos version in the dockerised test workflows Test long #333: Commit 7fd8d43 pushed by daejunpark
July 19, 2024 20:39 4m 18s chore-workflows
chore-workflows
July 19, 2024 20:39 4m 18s
feat: support vm.getBlockNumber cheatcode (#325) Test long #332: Commit 8ae5902 pushed by daejunpark
July 18, 2024 05:58 4m 15s main
main
July 18, 2024 05:58 4m 15s
feat: support for forge-std assert cheatcodes (#323) Test long #331: Commit 486f381 pushed by daejunpark
July 18, 2024 05:45 4m 24s main
main
July 18, 2024 05:45 4m 24s
Test long Test long #330: Manually run by daejunpark
July 18, 2024 05:34 3m 58s feat/assertEq
feat/assertEq
July 18, 2024 05:34 3m 58s
clarify docker run command Test long #329: Commit 0719adf pushed by karmacoma-eth
July 18, 2024 00:31 4m 14s chore-workflows
chore-workflows
July 18, 2024 00:31 4m 14s
dockerize test-external Test long #328: Commit ebfeea4 pushed by karmacoma-eth
July 18, 2024 00:14 4m 33s chore-workflows
chore-workflows
July 18, 2024 00:14 4m 33s
don't login to ghcr for jobs that don't publish Test long #327: Commit cf58f51 pushed by karmacoma-eth
July 17, 2024 23:44 40s chore-workflows
chore-workflows
July 17, 2024 23:44 40s
Merge branch 'main' into chore-workflows Test long #326: Commit d2aff0e pushed by karmacoma-eth
July 17, 2024 23:39 4m 21s chore-workflows
chore-workflows
July 17, 2024 23:39 4m 21s
perf: early exit for fail() (#322) Test long #325: Commit 40cf25a pushed by daejunpark
July 17, 2024 02:26 4m 11s main
main
July 17, 2024 02:26 4m 11s
feat: parse symbols from build to print readable traces (#309) Test long #324: Commit 7ba5a74 pushed by daejunpark
July 17, 2024 01:24 4m 41s main
main
July 17, 2024 01:24 4m 41s
Test long Test long #323: Manually run by daejunpark
June 29, 2024 07:18 4m 48s feat/assertEq
feat/assertEq
June 29, 2024 07:18 4m 48s
Test long Test long #322: Manually run by daejunpark
June 29, 2024 01:46 4m 37s feat/assertEq
feat/assertEq
June 29, 2024 01:46 4m 37s
Test long Test long #321: Manually run by daejunpark
June 28, 2024 01:08 4m 14s feat/assertEq
feat/assertEq
June 28, 2024 01:08 4m 14s
Test long Test long #320: Manually run by daejunpark
June 28, 2024 01:08 4m 24s perf/early-exit-fail
perf/early-exit-fail
June 28, 2024 01:08 4m 24s
ci: pin yices2=2.6.4 (#320) Test long #319: Commit 854eab2 pushed by daejunpark
June 26, 2024 22:25 4m 29s main
main
June 26, 2024 22:25 4m 29s