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

feat: support for snapshot cheatcodes pre-commit #552: Pull request #427 synchronize by daejunpark
December 16, 2024 19:53 20s feat/snapshot
feat/snapshot
December 16, 2024 19:53 20s
test: update snapshot tests for new state snapshot design pre-commit #551: Commit ffeff52 pushed by daejunpark
December 16, 2024 19:53 20s feat/snapshot
feat/snapshot
December 16, 2024 19:53 20s
feat: support for snapshot cheatcodes pre-commit #550: Pull request #427 synchronize by daejunpark
December 14, 2024 06:07 17s feat/snapshot
feat/snapshot
December 14, 2024 06:07 17s
use xxhash instead of hashlib pre-commit #549: Commit 7d08e7a pushed by daejunpark
December 14, 2024 06:07 25s feat/snapshot
feat/snapshot
December 14, 2024 06:07 25s
feat: support for snapshot cheatcodes pre-commit #548: Pull request #427 synchronize by daejunpark
December 14, 2024 06:06 18s feat/snapshot
feat/snapshot
December 14, 2024 06:06 18s
use xxhash instead of hashlib pre-commit #547: Commit b424c17 pushed by daejunpark
December 14, 2024 06:06 20s feat/snapshot
feat/snapshot
December 14, 2024 06:06 20s
feat: support for snapshot cheatcodes pre-commit #546: Pull request #427 synchronize by daejunpark
December 12, 2024 19:26 27s feat/snapshot
feat/snapshot
December 12, 2024 19:26 27s
refactor pre-commit #545: Commit 937190a pushed by daejunpark
December 12, 2024 19:26 23s feat/snapshot
feat/snapshot
December 12, 2024 19:26 23s
feat: support for snapshot cheatcodes pre-commit #544: Pull request #427 synchronize by daejunpark
December 12, 2024 05:31 17s feat/snapshot
feat/snapshot
December 12, 2024 05:31 17s
Merge remote-tracking branch 'origin/main' into feat/snapshot pre-commit #543: Commit e83956c pushed by daejunpark
December 12, 2024 05:31 22s feat/snapshot
feat/snapshot
December 12, 2024 05:31 22s
fix: nested prank error message (#428) pre-commit #542: Commit f4f3185 pushed by daejunpark
December 12, 2024 05:21 25s main
main
December 12, 2024 05:21 25s
feat: support for snapshot cheatcodes pre-commit #541: Pull request #427 synchronize by daejunpark
December 12, 2024 05:17 20s feat/snapshot
feat/snapshot
December 12, 2024 05:17 20s
fix test pre-commit #540: Commit b022fcd pushed by daejunpark
December 12, 2024 05:17 18s feat/snapshot
feat/snapshot
December 12, 2024 05:17 18s
feat: support for snapshot cheatcodes pre-commit #539: Pull request #427 synchronize by daejunpark
December 12, 2024 05:07 21s feat/snapshot
feat/snapshot
December 12, 2024 05:07 21s
feat: support for snapshotState() pre-commit #538: Commit 51d9977 pushed by daejunpark
December 12, 2024 05:07 19s feat/snapshot
feat/snapshot
December 12, 2024 05:07 19s
feat: support for snapshot cheatcodes pre-commit #537: Pull request #427 synchronize by daejunpark
December 12, 2024 00:50 20s feat/snapshot
feat/snapshot
December 12, 2024 00:50 20s
chore: rename internal field pre-commit #536: Commit 2f4ed45 pushed by daejunpark
December 12, 2024 00:50 20s feat/snapshot
feat/snapshot
December 12, 2024 00:50 20s
Fix nested prank error message pre-commit #535: Pull request #428 opened by karmacoma-eth
December 12, 2024 00:27 24s fix-nested-prank-error
fix-nested-prank-error
December 12, 2024 00:27 24s
don't display source line in logs pre-commit #534: Commit 124d348 pushed by karmacoma-eth
December 12, 2024 00:25 21s fix-nested-prank-error
fix-nested-prank-error
December 12, 2024 00:25 21s
feat: support for snapshot cheatcodes pre-commit #533: Pull request #427 synchronize by daejunpark
December 11, 2024 23:46 23s feat/snapshot
feat/snapshot
December 11, 2024 23:46 23s
Update src/halmos/cheatcodes.py pre-commit #532: Commit 08907c5 pushed by daejunpark
December 11, 2024 23:46 18s feat/snapshot
feat/snapshot
December 11, 2024 23:46 18s
feat: support for snapshot cheatcodes pre-commit #531: Pull request #427 synchronize by daejunpark
December 11, 2024 22:36 18s feat/snapshot
feat/snapshot
December 11, 2024 22:36 18s
Merge remote-tracking branch 'origin/main' into feat/snapshot pre-commit #530: Commit 0129db7 pushed by daejunpark
December 11, 2024 22:36 15s feat/snapshot
feat/snapshot
December 11, 2024 22:36 15s
feat: support for snapshot cheatcodes pre-commit #529: Pull request #427 opened by daejunpark
December 11, 2024 22:31 15s feat/snapshot
feat/snapshot
December 11, 2024 22:31 15s
feat: support for snapshotStorage(address) cheatcode pre-commit #528: Commit c5e6323 pushed by daejunpark
December 11, 2024 22:29 21s feat/snapshot
feat/snapshot
December 11, 2024 22:29 21s