Skip to content

Actions: a16z/halmos

Actions

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

switch from result_exs to exec_cache pre-commit #527: Commit 2408639 pushed by karmacoma-eth
December 11, 2024 22:21 22s main
main
December 11, 2024 22:21 22s
add memory tracer and fix linear memory growth pre-commit #526: Pull request #426 opened by karmacoma-eth
December 11, 2024 19:06 28s memtrace
memtrace
December 11, 2024 19:06 28s
switch from result_exs to exec_cache pre-commit #525: Commit a044c1d pushed by karmacoma-eth
December 11, 2024 19:05 23s memtrace
memtrace
December 11, 2024 19:05 23s
feat: improve logging (#418) pre-commit #524: Commit 27f620a pushed by daejunpark
December 10, 2024 02:38 23s v0.2.2
v0.2.2
December 10, 2024 02:38 23s
feat: improve logging (#418) pre-commit #523: Commit 27f620a pushed by daejunpark
December 7, 2024 01:22 21s main
main
December 7, 2024 01:22 21s
feat: improve logging pre-commit #522: Pull request #418 synchronize by daejunpark
December 7, 2024 01:11 17s feat/improve-logging
feat/improve-logging
December 7, 2024 01:11 17s
lint pre-commit #521: Commit 9e1b105 pushed by daejunpark
December 7, 2024 01:11 19s feat/improve-logging
feat/improve-logging
December 7, 2024 01:11 19s
feat: improve logging pre-commit #520: Pull request #418 synchronize by daejunpark
December 7, 2024 01:09 21s feat/improve-logging
feat/improve-logging
December 7, 2024 01:09 21s
Merge remote-tracking branch 'origin/main' into feat/improve-logging pre-commit #519: Commit 0242bb2 pushed by daejunpark
December 7, 2024 01:09 26s feat/improve-logging
feat/improve-logging
December 7, 2024 01:09 26s
feat: improve logging pre-commit #518: Pull request #418 synchronize by daejunpark
December 7, 2024 01:01 19s feat/improve-logging
feat/improve-logging
December 7, 2024 01:01 19s
Update src/halmos/calldata.py pre-commit #517: Commit 96eaecc pushed by daejunpark
December 7, 2024 01:01 19s feat/improve-logging
feat/improve-logging
December 7, 2024 01:01 19s
docs: Fix grammatical error getting-started.md (#424) pre-commit #516: Commit c2e8661 pushed by karmacoma-eth
December 7, 2024 00:54 32s main
main
December 7, 2024 00:54 32s
feat: improve logging pre-commit #515: Pull request #418 synchronize by karmacoma-eth
December 6, 2024 23:59 21s feat/improve-logging
feat/improve-logging
December 6, 2024 23:59 21s
Merge branch 'main' into feat/improve-logging pre-commit #514: Commit 84ecabc pushed by karmacoma-eth
December 6, 2024 23:59 23s feat/improve-logging
feat/improve-logging
December 6, 2024 23:59 23s
docs: Fix grammatical error getting-started.md pre-commit #513: Pull request #424 opened by mdqst
December 6, 2024 10:28 17s mdqst:patch-1
mdqst:patch-1
December 6, 2024 10:28 17s
embrace uv (#422) pre-commit #512: Commit 2b68913 pushed by karmacoma-eth
December 4, 2024 19:17 31s main
main
December 4, 2024 19:17 31s
Embrace uv pre-commit #511: Pull request #422 synchronize by karmacoma-eth
December 4, 2024 02:20 19s embrace-uv
embrace-uv
December 4, 2024 02:20 19s
remove temporary uv update pre-commit #510: Commit 906a059 pushed by karmacoma-eth
December 4, 2024 02:20 17s embrace-uv
embrace-uv
December 4, 2024 02:20 17s
Embrace uv pre-commit #509: Pull request #422 synchronize by karmacoma-eth
December 4, 2024 02:14 34s embrace-uv
embrace-uv
December 4, 2024 02:14 34s
remove uv.lock from source control pre-commit #508: Commit 8acf846 pushed by karmacoma-eth
December 4, 2024 02:14 24s embrace-uv
embrace-uv
December 4, 2024 02:14 24s
Embrace uv pre-commit #507: Pull request #422 synchronize by karmacoma-eth
December 4, 2024 01:56 18s embrace-uv
embrace-uv
December 4, 2024 01:56 18s
uv sync (for rich) pre-commit #506: Commit 756e6ec pushed by karmacoma-eth
December 4, 2024 01:56 17s embrace-uv
embrace-uv
December 4, 2024 01:56 17s
Embrace uv pre-commit #505: Pull request #422 synchronize by karmacoma-eth
December 4, 2024 01:42 17s embrace-uv
embrace-uv
December 4, 2024 01:42 17s
Merge branch 'main' into embrace-uv pre-commit #504: Commit c1368ef pushed by karmacoma-eth
December 4, 2024 01:42 14s embrace-uv
embrace-uv
December 4, 2024 01:42 14s
Embrace uv pre-commit #503: Pull request #422 synchronize by karmacoma-eth
December 4, 2024 01:41 20s embrace-uv
embrace-uv
December 4, 2024 01:41 20s