Skip to content

Actions: a16z/halmos

Actions

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: add eip-2935 ring buffer contract test pre-commit #175: Commit 9c15e41 pushed by daejunpark
September 26, 2024 05:58 14s docs/eip-2935
docs/eip-2935
September 26, 2024 05:58 14s
docs: add eip-2935 ring buffer contract test pre-commit #174: Commit ad24c65 pushed by daejunpark
September 26, 2024 05:52 18s docs/eip-2935
docs/eip-2935
September 26, 2024 05:52 18s
fix: manually solve dynamic array overflow conditions (#366) pre-commit #173: Commit 20cd93a pushed by daejunpark
September 25, 2024 01:56 23s v0.2.0
v0.2.0
September 25, 2024 01:56 23s
fix: manually solve dynamic array overflow conditions (#366) pre-commit #172: Commit 20cd93a pushed by daejunpark
September 24, 2024 23:44 19s main
main
September 24, 2024 23:44 19s
fix: manually solve dynamic array overflow conditions pre-commit #171: Pull request #366 synchronize by daejunpark
September 24, 2024 23:26 22s fix/dynamic-array-exceed-storage-limit
fix/dynamic-array-exceed-storage-limit
September 24, 2024 23:26 22s
Merge branch 'main' into fix/dynamic-array-exceed-storage-limit pre-commit #170: Commit a2ea5f8 pushed by daejunpark
September 24, 2024 23:26 18s fix/dynamic-array-exceed-storage-limit
fix/dynamic-array-exceed-storage-limit
September 24, 2024 23:26 18s
chore: update halmos.toml example + add missing tests (#371) pre-commit #169: Commit d9eaad9 pushed by daejunpark
September 24, 2024 23:26 22s main
main
September 24, 2024 23:26 22s
fix: manually solve dynamic array overflow conditions pre-commit #168: Pull request #366 synchronize by daejunpark
September 24, 2024 23:22 19s fix/dynamic-array-exceed-storage-limit
fix/dynamic-array-exceed-storage-limit
September 24, 2024 23:22 19s
avoid magic string for sha3 names pre-commit #167: Commit edd2dea pushed by daejunpark
September 24, 2024 23:22 19s fix/dynamic-array-exceed-storage-limit
fix/dynamic-array-exceed-storage-limit
September 24, 2024 23:22 19s
chore: update halmos.toml example + add missing tests pre-commit #166: Pull request #371 synchronize by daejunpark
September 24, 2024 22:57 20s chore/add-missing-tests
chore/add-missing-tests
September 24, 2024 22:57 20s
update halmos-cheatcode submodule pre-commit #165: Commit fb19f27 pushed by daejunpark
September 24, 2024 22:57 18s chore/add-missing-tests
chore/add-missing-tests
September 24, 2024 22:57 18s
chore: update halmos.toml example + add missing tests pre-commit #164: Pull request #371 opened by daejunpark
September 24, 2024 03:21 27s chore/add-missing-tests
chore/add-missing-tests
September 24, 2024 03:21 27s
test: add tests for #364 pre-commit #163: Commit 3b6723c pushed by daejunpark
September 24, 2024 03:18 21s chore/add-missing-tests
chore/add-missing-tests
September 24, 2024 03:18 21s
fix: manually solve dynamic array overflow conditions pre-commit #162: Pull request #366 synchronize by daejunpark
September 24, 2024 03:14 22s fix/dynamic-array-exceed-storage-limit
fix/dynamic-array-exceed-storage-limit
September 24, 2024 03:14 22s
test: add regression test pre-commit #161: Commit 610c8dc pushed by daejunpark
September 24, 2024 03:14 24s fix/dynamic-array-exceed-storage-limit
fix/dynamic-array-exceed-storage-limit
September 24, 2024 03:14 24s
fix: manually solve dynamic array overflow conditions pre-commit #160: Pull request #366 synchronize by daejunpark
September 23, 2024 22:57 19s fix/dynamic-array-exceed-storage-limit
fix/dynamic-array-exceed-storage-limit
September 23, 2024 22:57 19s
Merge branch 'main' into fix/dynamic-array-exceed-storage-limit pre-commit #159: Commit 4e04da5 pushed by daejunpark
September 23, 2024 22:57 19s fix/dynamic-array-exceed-storage-limit
fix/dynamic-array-exceed-storage-limit
September 23, 2024 22:57 19s
perf: increase default assertion solving timeout from 1s to 1m (#368) pre-commit #158: Commit 3e66a60 pushed by daejunpark
September 23, 2024 22:57 26s main
main
September 23, 2024 22:57 26s
perf: increase default assertion solving timeout from 1s to 1m pre-commit #157: Pull request #368 synchronize by daejunpark
September 23, 2024 22:57 21s perf/increase-default-assertion-solving-timeout
perf/increase-default-assertion-solving-timeout
September 23, 2024 22:57 21s
Merge branch 'main' into perf/increase-default-assertion-solving-timeout pre-commit #156: Commit 1612632 pushed by daejunpark
September 23, 2024 22:56 21s perf/increase-default-assertion-solving-timeout
perf/increase-default-assertion-solving-timeout
September 23, 2024 22:56 21s
ci: parallelize snekmate tests (#370) pre-commit #155: Commit 6a29824 pushed by daejunpark
September 23, 2024 22:56 20s main
main
September 23, 2024 22:56 20s
fix: manually solve dynamic array overflow conditions pre-commit #154: Pull request #366 synchronize by daejunpark
September 23, 2024 22:48 22s fix/dynamic-array-exceed-storage-limit
fix/dynamic-array-exceed-storage-limit
September 23, 2024 22:48 22s
refactor and add test pre-commit #153: Commit 9397fd8 pushed by daejunpark
September 23, 2024 22:48 23s fix/dynamic-array-exceed-storage-limit
fix/dynamic-array-exceed-storage-limit
September 23, 2024 22:48 23s
ci: parallelize snekmate tests pre-commit #152: Pull request #370 opened by daejunpark
September 23, 2024 19:41 26s ci/snekmate-split
ci/snekmate-split
September 23, 2024 19:41 26s
perf: increase default assertion solving timeout from 1s to 1m pre-commit #151: Pull request #368 synchronize by daejunpark
September 21, 2024 08:32 16s perf/increase-default-assertion-solving-timeout
perf/increase-default-assertion-solving-timeout
September 21, 2024 08:32 16s
ProTip! You can narrow down the results and go further in time using created:<2024-09-21 or the other filters available.