Skip to content

Actions: a16z/halmos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,573 workflow run results
2,573 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR #330 CodeQL #4: by karmacoma-eth
July 24, 2024 22:17 2m 2s refs/pull/330/head
refs/pull/330/head
July 24, 2024 22:17 2m 2s
fix workflows Test #823: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 22:17 3m 5s chore-workflows
chore-workflows
July 24, 2024 22:17 3m 5s
fix workflows Test FFI #435: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 22:17 53s chore-workflows
chore-workflows
July 24, 2024 22:17 53s
fix workflows .github/workflows/black.yml #1139: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 22:17 27s chore-workflows
chore-workflows
July 24, 2024 22:17 27s
try out bitwuzla on snekmate Test long #343: Commit e169cae pushed by karmacoma-eth
July 24, 2024 22:17 4m 23s chore-workflows
chore-workflows
July 24, 2024 22:17 4m 23s
try out bitwuzla on snekmate .github/workflows/black.yml #1138: Commit e169cae pushed by karmacoma-eth
July 24, 2024 22:17 28s chore-workflows
chore-workflows
July 24, 2024 22:17 28s
try out bitwuzla on snekmate Test FFI #434: Commit e169cae pushed by karmacoma-eth
July 24, 2024 22:17 1m 3s chore-workflows
chore-workflows
July 24, 2024 22:17 1m 3s
try out bitwuzla on snekmate Test #822: Commit e169cae pushed by karmacoma-eth
July 24, 2024 22:17 4m 13s chore-workflows
chore-workflows
July 24, 2024 22:17 4m 13s
try out bitwuzla on snekmate Test external projects #376: Commit e169cae pushed by karmacoma-eth
July 24, 2024 22:17 1h 37m 25s chore-workflows
chore-workflows
July 24, 2024 22:17 1h 37m 25s
feat: functional implementation of EXTCODEHASH and EXTCODECOPY .github/workflows/black.yml #1137: Pull request #328 synchronize by karmacoma-eth
July 24, 2024 18:17 19s feat-extcodehash
feat-extcodehash
July 24, 2024 18:17 19s
feat: functional implementation of EXTCODEHASH and EXTCODECOPY Test #821: Pull request #328 synchronize by karmacoma-eth
July 24, 2024 18:17 3m 2s feat-extcodehash
feat-extcodehash
July 24, 2024 18:17 3m 2s
feat: functional implementation of EXTCODEHASH and EXTCODECOPY Test FFI #433: Pull request #328 synchronize by karmacoma-eth
July 24, 2024 18:17 1m 1s feat-extcodehash
feat-extcodehash
July 24, 2024 18:17 1m 1s
PR #328 CodeQL #3: by karmacoma-eth
July 24, 2024 18:17 1m 53s refs/pull/328/head
refs/pull/328/head
July 24, 2024 18:17 1m 53s
EXTCODECOPY: short-circuit if size == 0 .github/workflows/black.yml #1136: Commit 851c75e pushed by karmacoma-eth
July 24, 2024 18:17 21s feat-extcodehash
feat-extcodehash
July 24, 2024 18:17 21s
PR #330 CodeQL #2: by karmacoma-eth
July 24, 2024 17:12 2m 2s refs/pull/330/head
refs/pull/330/head
July 24, 2024 17:12 2m 2s
fix workflows .github/workflows/black.yml #1135: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 17:12 28s chore-workflows
chore-workflows
July 24, 2024 17:12 28s
fix workflows Test FFI #432: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 17:12 1m 5s chore-workflows
chore-workflows
July 24, 2024 17:12 1m 5s
fix workflows Test #820: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 17:12 3m 5s chore-workflows
chore-workflows
July 24, 2024 17:12 3m 5s
move to python >=3.11 per community vote .github/workflows/black.yml #1134: Commit 52c5b66 pushed by karmacoma-eth
July 24, 2024 17:12 26s chore-workflows
chore-workflows
July 24, 2024 17:12 26s
move to python >=3.11 per community vote Test FFI #431: Commit 52c5b66 pushed by karmacoma-eth
July 24, 2024 17:12 45s chore-workflows
chore-workflows
July 24, 2024 17:12 45s
move to python >=3.11 per community vote Test #819: Commit 52c5b66 pushed by karmacoma-eth
July 24, 2024 17:12 2m 54s chore-workflows
chore-workflows
July 24, 2024 17:12 2m 54s
move to python >=3.11 per community vote Test long #342: Commit 52c5b66 pushed by karmacoma-eth
July 24, 2024 17:12 4m 12s chore-workflows
chore-workflows
July 24, 2024 17:12 4m 12s
move to python >=3.11 per community vote Test external projects #375: Commit 52c5b66 pushed by karmacoma-eth
July 24, 2024 17:12 25m 49s chore-workflows
chore-workflows
July 24, 2024 17:12 25m 49s
CodeQL Setup CodeQL #1: by karmacoma-eth
July 24, 2024 17:01 1m 55s main
main
July 24, 2024 17:01 1m 55s
fix workflows .github/workflows/black.yml #1133: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 16:36 41s chore-workflows
chore-workflows
July 24, 2024 16:36 41s