Skip to content

Actions: a16z/halmos

Actions

Test FFI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-ffi.yml
431 workflow run results
431 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: simplify symbol parsing (#334) Test FFI #455: Commit 954ed59 pushed by karmacoma-eth
August 1, 2024 22:37 47s main
main
August 1, 2024 22:37 47s
fix: simplify symbol parsing Test FFI #454: Pull request #334 synchronize by karmacoma-eth
August 1, 2024 01:38 41s simplify-symbol-parsing
simplify-symbol-parsing
August 1, 2024 01:38 41s
fix: simplify symbol parsing Test FFI #453: Pull request #334 synchronize by karmacoma-eth
August 1, 2024 01:31 42s simplify-symbol-parsing
simplify-symbol-parsing
August 1, 2024 01:31 42s
fix: simplify symbol parsing Test FFI #452: Pull request #334 synchronize by karmacoma-eth
July 31, 2024 17:56 46s simplify-symbol-parsing
simplify-symbol-parsing
July 31, 2024 17:56 46s
fix: simplify symbol parsing Test FFI #451: Pull request #334 synchronize by karmacoma-eth
July 31, 2024 17:11 41s simplify-symbol-parsing
simplify-symbol-parsing
July 31, 2024 17:11 41s
fix: simplify symbol parsing Test FFI #450: Pull request #334 synchronize by karmacoma-eth
July 31, 2024 01:37 40s simplify-symbol-parsing
simplify-symbol-parsing
July 31, 2024 01:37 40s
fix: simplify symbol parsing Test FFI #449: Pull request #334 synchronize by karmacoma-eth
July 31, 2024 01:31 54s simplify-symbol-parsing
simplify-symbol-parsing
July 31, 2024 01:31 54s
fix: simplify symbol parsing Test FFI #448: Pull request #334 opened by karmacoma-eth
July 29, 2024 21:59 55s simplify-symbol-parsing
simplify-symbol-parsing
July 29, 2024 21:59 55s
handle solidity files with no contracts (#333) Test FFI #447: Commit 31bb794 pushed by karmacoma-eth
July 29, 2024 20:30 56s main
main
July 29, 2024 20:30 56s
handle solidity files with no contracts Test FFI #446: Pull request #333 opened by karmacoma-eth
July 29, 2024 16:58 40s fix-281
fix-281
July 29, 2024 16:58 40s
chore: only warn about KeyError "ast"/"metadata" if debugging Test FFI #445: Pull request #331 synchronize by karmacoma-eth
July 26, 2024 01:24 43s quiet-metadata-warning
quiet-metadata-warning
July 26, 2024 01:24 43s
chore: only warn about KeyError "ast"/"metadata" if debugging Test FFI #444: Pull request #331 synchronize by karmacoma-eth
July 26, 2024 01:14 43s quiet-metadata-warning
quiet-metadata-warning
July 26, 2024 01:14 43s
fix workflows (#330) Test FFI #443: Commit d4c0124 pushed by karmacoma-eth
July 26, 2024 01:12 39s main
main
July 26, 2024 01:12 39s
fix workflows Test FFI #442: Pull request #330 synchronize by karmacoma-eth
July 26, 2024 01:10 1m 15s chore-workflows
chore-workflows
July 26, 2024 01:10 1m 15s
Merge branch 'main' into chore-workflows Test FFI #441: Commit 6ea8f8b pushed by karmacoma-eth
July 26, 2024 01:10 42s chore-workflows
chore-workflows
July 26, 2024 01:10 42s
Update packages/solvers/README.md Test FFI #440: Pull request #332 synchronize by karmacoma-eth
July 26, 2024 00:45 40s readme-patch-1
readme-patch-1
July 26, 2024 00:45 40s
Update packages/solvers/README.md Test FFI #439: Pull request #332 opened by karmacoma-eth
July 25, 2024 18:02 1m 4s readme-patch-1
readme-patch-1
July 25, 2024 18:02 1m 4s
fix workflows Test FFI #438: Pull request #330 synchronize by karmacoma-eth
July 25, 2024 00:20 51s chore-workflows
chore-workflows
July 25, 2024 00:20 51s
Revert "try out bitwuzla on snekmate" Test FFI #437: Commit 440d484 pushed by karmacoma-eth
July 25, 2024 00:20 54s chore-workflows
chore-workflows
July 25, 2024 00:20 54s
chore: only warn about KeyError "ast"/"metadata" if debugging Test FFI #436: Pull request #331 opened by karmacoma-eth
July 25, 2024 00:07 39s quiet-metadata-warning
quiet-metadata-warning
July 25, 2024 00:07 39s
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
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
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
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
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