Skip to content

Actions: a16z/halmos

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
830 workflow runs
830 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test cache Test #503: Pull request #233 synchronize by daejunpark
December 21, 2023 00:50 33m 50s test-do-not-merge
test-do-not-merge
December 21, 2023 00:50 33m 50s
test cache Test #502: Pull request #233 synchronize by daejunpark
December 21, 2023 00:44 24m 7s test-do-not-merge
test-do-not-merge
December 21, 2023 00:44 24m 7s
ci: use python cache (#234) Test #501: Commit 0e19c51 pushed by daejunpark
December 21, 2023 00:27 37m 26s main
main
December 21, 2023 00:27 37m 26s
ci: use python cache Test #500: Pull request #234 opened by daejunpark
December 21, 2023 00:22 30m 38s ci/python-cache
ci/python-cache
December 21, 2023 00:22 30m 38s
test cache Test #499: Pull request #233 synchronize by daejunpark
December 21, 2023 00:16 31m 48s test-do-not-merge
test-do-not-merge
December 21, 2023 00:16 31m 48s
test cache Test #498: Pull request #233 synchronize by daejunpark
December 21, 2023 00:08 25m 41s test-do-not-merge
test-do-not-merge
December 21, 2023 00:08 25m 41s
test cache Test #497: Pull request #233 opened by daejunpark
December 20, 2023 23:47 29m 14s test-do-not-merge
test-do-not-merge
December 20, 2023 23:47 29m 14s
ci: cache pip wheels (#232) Test #496: Commit cf08f4f pushed by daejunpark
December 20, 2023 23:20 26m 28s main
main
December 20, 2023 23:20 26m 28s
ci: cache pip wheels Test #495: Pull request #232 opened by daejunpark
December 20, 2023 22:15 29m 55s ci/cache-pip
ci/cache-pip
December 20, 2023 22:15 29m 55s
fix: trace generation for shared solver (#231) Test #494: Commit 996be64 pushed by daejunpark
December 20, 2023 22:05 28m 47s main
main
December 20, 2023 22:05 28m 47s
fix: trace generation for shared solver Test #493: Pull request #231 synchronize by daejunpark
December 20, 2023 21:35 30m 1s fix/trace
fix/trace
December 20, 2023 21:35 30m 1s
fix: trace generation for shared solver Test #492: Pull request #231 opened by daejunpark
December 20, 2023 08:59 35m 23s fix/trace
fix/trace
December 20, 2023 08:59 35m 23s
fix: keccak256("") (#228) Test #491: Commit 7bb84d2 pushed by daejunpark
December 7, 2023 08:11 40m 58s main
main
December 7, 2023 08:11 40m 58s
fix: keccak256("") Test #490: Pull request #228 synchronize by daejunpark
December 7, 2023 07:47 58m 40s fix/hash-empty-bytes
fix/hash-empty-bytes
December 7, 2023 07:47 58m 40s
fix: keccak256("") Test #489: Pull request #228 synchronize by daejunpark
December 7, 2023 07:43 49m 28s fix/hash-empty-bytes
fix/hash-empty-bytes
December 7, 2023 07:43 49m 28s
fix: revert code and storage (#227) Test #488: Commit 12e4749 pushed by daejunpark
December 7, 2023 07:42 47m 5s main
main
December 7, 2023 07:42 47m 5s
fix: revert code and storage Test #487: Pull request #227 synchronize by daejunpark
December 7, 2023 07:41 38m 27s fix/revert-code-storage
fix/revert-code-storage
December 7, 2023 07:41 38m 27s
fix: normalize extracts for overflow checks (#225) Test #486: Commit f5733f0 pushed by daejunpark
December 7, 2023 07:40 26m 11s main
main
December 7, 2023 07:40 26m 11s
fix: keccak256("") Test #485: Pull request #228 opened by daejunpark
December 7, 2023 07:39 29m 22s fix/hash-empty-bytes
fix/hash-empty-bytes
December 7, 2023 07:39 29m 22s
fix: normalize extracts for overflow checks Test #484: Pull request #225 synchronize by daejunpark
December 7, 2023 07:13 29m 47s fix/overflow-check
fix/overflow-check
December 7, 2023 07:13 29m 47s
breaking change: drop support for python 3.8 (#226) Test #483: Commit b9bc79e pushed by daejunpark
December 7, 2023 07:12 26m 31s main
main
December 7, 2023 07:12 26m 31s
fix: revert code and storage Test #482: Pull request #227 opened by daejunpark
December 7, 2023 06:47 26m 32s fix/revert-code-storage
fix/revert-code-storage
December 7, 2023 06:47 26m 32s
fix: normalize extracts for overflow checks Test #481: Pull request #225 synchronize by daejunpark
December 7, 2023 06:35 28m 20s fix/overflow-check
fix/overflow-check
December 7, 2023 06:35 28m 20s
breaking change: drop support for python 3.8 Test #480: Pull request #226 opened by daejunpark
December 7, 2023 06:23 27m 40s drop-python-3.8
drop-python-3.8
December 7, 2023 06:23 27m 40s
fix: normalize extracts for overflow checks Test #479: Pull request #225 synchronize by daejunpark
December 6, 2023 23:10 27m 6s fix/overflow-check
fix/overflow-check
December 6, 2023 23:10 27m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-12-06 or the other filters available.