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

feat: add --match-test and --match-contract (#238) Test long #218: Commit 3421763 pushed by daejunpark
December 21, 2023 23:00 21m 10s main
main
December 21, 2023 23:00 21m 10s
Test long Test long #217: Manually run by daejunpark
December 21, 2023 22:37 16m 37s feat/match-test
feat/match-test
December 21, 2023 22:37 16m 37s
feat: introduce other failure modes (#237) Test long #216: Commit a5a48df pushed by daejunpark
December 21, 2023 22:17 15m 0s main
main
December 21, 2023 22:17 15m 0s
Test long Test long #215: Manually run by daejunpark
December 21, 2023 08:50 16m 46s feat/timeout
feat/timeout
December 21, 2023 08:50 16m 46s
Test long Test long #214: Manually run by daejunpark
December 21, 2023 08:34 17m 33s feat/timeout
feat/timeout
December 21, 2023 08:34 17m 33s
dep(z3): pin 4.12.2 in pyproject (#236) Test long #213: Commit 2228ead pushed by daejunpark
December 21, 2023 08:15 16m 10s main
main
December 21, 2023 08:15 16m 10s
Test long Test long #212: Manually run by daejunpark
December 21, 2023 08:04 20m 38s feat/timeout
feat/timeout
December 21, 2023 08:04 20m 38s
ci: disable caches + pin z3 4.12.2 + update actions (#235) Test long #211: Commit 8a0f31f pushed by daejunpark
December 21, 2023 03:08 17m 9s main
main
December 21, 2023 03:08 17m 9s
Test long Test long #210: Manually run by daejunpark
December 21, 2023 02:26 34m 54s dep/z3
dep/z3
December 21, 2023 02:26 34m 54s
ci: use python cache (#234) Test long #209: Commit 0e19c51 pushed by daejunpark
December 21, 2023 00:27 1h 39m 50s main
main
December 21, 2023 00:27 1h 39m 50s
ci: cache pip wheels (#232) Test long #208: Commit cf08f4f pushed by daejunpark
December 20, 2023 23:20 1h 36m 37s main
main
December 20, 2023 23:20 1h 36m 37s
fix: trace generation for shared solver (#231) Test long #207: Commit 996be64 pushed by daejunpark
December 20, 2023 22:05 2h 18m 14s main
main
December 20, 2023 22:05 2h 18m 14s
Test long Test long #206: Manually run by daejunpark
December 20, 2023 17:14 1h 44m 40s fix/trace
fix/trace
December 20, 2023 17:14 1h 44m 40s
fix: keccak256("") (#228) Test long #205: Commit 7bb84d2 pushed by daejunpark
December 7, 2023 08:11 2h 25m 1s main
main
December 7, 2023 08:11 2h 25m 1s
fix: revert code and storage (#227) Test long #204: Commit 12e4749 pushed by daejunpark
December 7, 2023 07:42 2h 44m 18s main
main
December 7, 2023 07:42 2h 44m 18s
fix: normalize extracts for overflow checks (#225) Test long #203: Commit f5733f0 pushed by daejunpark
December 7, 2023 07:40 1h 30m 37s main
main
December 7, 2023 07:40 1h 30m 37s
breaking change: drop support for python 3.8 (#226) Test long #202: Commit b9bc79e pushed by daejunpark
December 7, 2023 07:12 1h 57m 11s main
main
December 7, 2023 07:12 1h 57m 11s
Test long Test long #201: Manually run by daejunpark
December 2, 2023 02:25 22m 35s fix/overflow-check
fix/overflow-check
December 2, 2023 02:25 22m 35s
test: increase branching timeout for setup of token tests (#224) Test long #200: Commit dd266b2 pushed by daejunpark
November 30, 2023 06:16 20m 49s main
main
November 30, 2023 06:16 20m 49s
Test long Test long #199: Manually run by daejunpark
November 30, 2023 03:35 18m 23s fix/setup-timeout
fix/setup-timeout
November 30, 2023 03:35 18m 23s
Test long Test long #198: Manually run by daejunpark
November 30, 2023 03:19 1m 39s feat/debug-trace
feat/debug-trace
November 30, 2023 03:19 1m 39s
Test long Test long #197: Manually run by daejunpark
November 30, 2023 03:15 3m 23s feat/debug-trace
feat/debug-trace
November 30, 2023 03:15 3m 23s
fix: decoding storage mapping with bytes key (#221) Test long #196: Commit 7761573 pushed by daejunpark
November 29, 2023 23:25 20m 6s main
main
November 29, 2023 23:25 20m 6s
ci: disable long and external tests in pull request build (#222) Test long #195: Commit 96061cf pushed by daejunpark
November 29, 2023 18:36 22m 7s main
main
November 29, 2023 18:36 22m 7s
fix: decoding storage mapping with bytes key Test long #194: Pull request #221 synchronize by daejunpark
November 29, 2023 18:07 20m 9s fix/complex-storage
fix/complex-storage
November 29, 2023 18:07 20m 9s