Skip to content

Actions: ethereum/hevm

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
958 workflow runs
958 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Gas fixes Build #3122: Pull request #639 synchronize by msooseth
January 27, 2025 14:10 1h 24m 32s gas-fixes
gas-fixes
January 27, 2025 14:10 1h 24m 32s
Build Build #3121: by msooseth
January 27, 2025 14:09 6h 0m 30s main
main
January 27, 2025 14:09 6h 0m 30s
Gas fixes Build #3120: Pull request #639 synchronize by msooseth
January 27, 2025 12:05 47m 49s gas-fixes
gas-fixes
January 27, 2025 12:05 47m 49s
Gas fixes Build #3119: Pull request #639 synchronize by msooseth
January 27, 2025 11:47 18m 14s gas-fixes
gas-fixes
January 27, 2025 11:47 18m 14s
[DRAFT] Early multi-solution system Build #3118: Pull request #631 synchronize by msooseth
January 27, 2025 11:46 54m 57s multi-solutions
multi-solutions
January 27, 2025 11:46 54m 57s
[DRAFT] Early multi-solution system Build #3117: Pull request #631 synchronize by msooseth
January 27, 2025 11:45 1m 21s multi-solutions
multi-solutions
January 27, 2025 11:45 1m 21s
Gas fixes Build #3116: Pull request #639 synchronize by msooseth
January 27, 2025 11:44 3m 28s gas-fixes
gas-fixes
January 27, 2025 11:44 3m 28s
Gas fixes Build #3115: Pull request #639 synchronize by msooseth
January 27, 2025 11:37 7m 54s gas-fixes
gas-fixes
January 27, 2025 11:37 7m 54s
Gas fixes Build #3114: Pull request #639 opened by msooseth
January 27, 2025 11:34 3m 2s gas-fixes
gas-fixes
January 27, 2025 11:34 3m 2s
[DRAFT] Early multi-solution system Build #3113: Pull request #631 synchronize by msooseth
January 27, 2025 11:34 11m 38s multi-solutions
multi-solutions
January 27, 2025 11:34 11m 38s
[DRAFT] Early multi-solution system Build #3112: Pull request #631 synchronize by msooseth
January 27, 2025 11:31 3m 41s multi-solutions
multi-solutions
January 27, 2025 11:31 3m 41s
[DRAFT] Implement createSelectFork Build #3111: Pull request #634 synchronize by msooseth
January 24, 2025 12:23 41m 9s createSelectFork
createSelectFork
January 24, 2025 12:23 41m 9s
[DRAFT] Early multi-solution system Build #3110: Pull request #631 synchronize by msooseth
January 24, 2025 11:20 30m 9s multi-solutions
multi-solutions
January 24, 2025 11:20 30m 9s
[DRAFT] Early multi-solution system Build #3109: Pull request #631 synchronize by msooseth
January 24, 2025 10:52 28m 17s multi-solutions
multi-solutions
January 24, 2025 10:52 28m 17s
[DRAFT] Implement createSelectFork Build #3108: Pull request #634 synchronize by msooseth
January 24, 2025 10:47 1h 34m 7s createSelectFork
createSelectFork
January 24, 2025 10:47 1h 34m 7s
[DRAFT] Implement createSelectFork Build #3107: Pull request #634 synchronize by msooseth
January 24, 2025 10:43 4m 40s createSelectFork
createSelectFork
January 24, 2025 10:43 4m 40s
Merge pull request #633 from ethereum/better-error-messages Build #3106: Commit ad31b07 pushed by msooseth
January 24, 2025 10:01 1h 26m 2s main
main
January 24, 2025 10:01 1h 26m 2s
Better error messages for JSON parsing Build #3105: Pull request #633 synchronize by msooseth
January 24, 2025 10:00 33m 54s better-error-messages
better-error-messages
January 24, 2025 10:00 33m 54s
Adding missing base-case for exponentiation && improve Exp handling via simplification and "ite" in SMT Build #3104: Pull request #638 synchronize by msooseth
January 23, 2025 10:48 47m 59s fix-exp-basecase
fix-exp-basecase
January 23, 2025 10:48 47m 59s
Adding missing base-case for exponentiation && improve Exp handling via simplification and "ite" in SMT Build #3103: Pull request #638 synchronize by msooseth
January 23, 2025 10:47 1m 38s fix-exp-basecase
fix-exp-basecase
January 23, 2025 10:47 1m 38s
Better error messages for JSON parsing Build #3102: Pull request #633 synchronize by msooseth
January 22, 2025 16:24 1h 11m 38s better-error-messages
better-error-messages
January 22, 2025 16:24 1h 11m 38s
Merge pull request #636 from ethereum/dump-end-states Build #3101: Commit a7e947d pushed by msooseth
January 22, 2025 16:20 1h 20m 42s main
main
January 22, 2025 16:20 1h 20m 42s
Adding missing base-case for exponentiation && improve Exp handling via simplification and "ite" in SMT Build #3100: Pull request #638 synchronize by msooseth
January 22, 2025 16:11 38m 49s fix-exp-basecase
fix-exp-basecase
January 22, 2025 16:11 38m 49s
Adding missing base-case for exponentiation && improve Exp handling via simplification and "ite" in SMT Build #3099: Pull request #638 synchronize by msooseth
January 22, 2025 16:08 3m 57s fix-exp-basecase
fix-exp-basecase
January 22, 2025 16:08 3m 57s
Adding missing base-case for exponentiation && improve Exp handling via simplification and "ite" in SMT Build #3098: Pull request #638 synchronize by msooseth
January 22, 2025 14:16 1h 12m 18s fix-exp-basecase
fix-exp-basecase
January 22, 2025 14:16 1h 12m 18s