Skip to content

Actions: a16z/halmos

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
4,362 workflow runs
4,362 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: storage modeling code pre-commit #33: Commit 99101b6 pushed by daejunpark
August 27, 2024 02:21 19s refactor/defaultdict-storage-data
refactor/defaultdict-storage-data
August 27, 2024 02:21 19s
feat: replace --symbolic-storage with enableSymbolicStorage(address) … Test external projects #410: Commit 5515db7 pushed by daejunpark
August 27, 2024 00:19 19m 33s main
main
August 27, 2024 00:19 19m 33s
Push on main CodeQL #126: by daejunpark
August 27, 2024 00:19 2m 3s
August 27, 2024 00:19 2m 3s
feat: replace --symbolic-storage with enableSymbolicStorage(address) … pre-commit #32: Commit 5515db7 pushed by daejunpark
August 27, 2024 00:19 26s main
main
August 27, 2024 00:19 26s
feat: replace --symbolic-storage with enableSymbolicStorage(address) … Test FFI #550: Commit 5515db7 pushed by daejunpark
August 27, 2024 00:19 51s main
main
August 27, 2024 00:19 51s
feat: replace --symbolic-storage with enableSymbolicStorage(address) … Test #939: Commit 5515db7 pushed by daejunpark
August 27, 2024 00:19 8m 34s main
main
August 27, 2024 00:19 8m 34s
feat: replace --symbolic-storage with enableSymbolicStorage(address) … Test long #376: Commit 5515db7 pushed by daejunpark
August 27, 2024 00:19 4m 55s main
main
August 27, 2024 00:19 4m 55s
PR #355 CodeQL #125: by daejunpark
August 26, 2024 22:32 1m 53s
August 26, 2024 22:32 1m 53s
feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode pre-commit #31: Pull request #355 synchronize by daejunpark
August 26, 2024 22:32 17s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:32 17s
feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode Test FFI #549: Pull request #355 synchronize by daejunpark
August 26, 2024 22:32 37s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:32 37s
feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode Test #938: Pull request #355 synchronize by daejunpark
August 26, 2024 22:32 3m 20s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:32 3m 20s
Update src/halmos/cheatcodes.py pre-commit #30: Commit dee67e5 pushed by daejunpark
August 26, 2024 22:32 20s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:32 20s
Test long Test long #375: Manually run by daejunpark
August 26, 2024 22:24 4m 54s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:24 4m 54s
Test external projects Test external projects #409: Manually run by daejunpark
August 26, 2024 22:24 19m 2s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:24 19m 2s
PR #355 CodeQL #124: by daejunpark
August 26, 2024 22:19 2m 3s
August 26, 2024 22:19 2m 3s
feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode Test FFI #548: Pull request #355 synchronize by daejunpark
August 26, 2024 22:19 48s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:19 48s
feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode pre-commit #29: Pull request #355 synchronize by daejunpark
August 26, 2024 22:19 17s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:19 17s
feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode Test #937: Pull request #355 synchronize by daejunpark
August 26, 2024 22:19 3m 19s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:19 3m 19s
chore: rename to enableSymbolicStorage pre-commit #28: Commit 85e6b1c pushed by daejunpark
August 26, 2024 22:19 22s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:19 22s
PR #355 CodeQL #123: by daejunpark
August 26, 2024 22:15 1m 56s
August 26, 2024 22:15 1m 56s
feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode Test #936: Pull request #355 synchronize by daejunpark
August 26, 2024 22:15 1m 42s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:15 1m 42s
feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode Test FFI #547: Pull request #355 synchronize by daejunpark
August 26, 2024 22:15 41s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:15 41s
feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode pre-commit #27: Pull request #355 synchronize by daejunpark
August 26, 2024 22:15 16s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:15 16s
chore: update halmos-cheatcode submodule pre-commit #26: Commit cd01f67 pushed by daejunpark
August 26, 2024 22:15 17s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:15 17s
feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode Test #935: Pull request #355 synchronize by daejunpark
August 26, 2024 22:02 3m 20s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 22:02 3m 20s