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

Abstract gas v3 Build #2218: Pull request #427 synchronize by arcz
November 25, 2023 18:10 19m 45s gas-family
gas-family
November 25, 2023 18:10 19m 45s
Abstract gas v2 Build #2217: Pull request #403 synchronize by d-xo
November 24, 2023 19:28 24m 50s abstract-gas-v2
abstract-gas-v2
November 24, 2023 19:28 24m 50s
Abstract gas v2 Build #2216: Pull request #403 synchronize by d-xo
November 24, 2023 19:05 23m 34s abstract-gas-v2
abstract-gas-v2
November 24, 2023 19:05 23m 34s
Abstract gas v2 Build #2215: Pull request #403 synchronize by d-xo
November 24, 2023 19:02 5m 0s abstract-gas-v2
abstract-gas-v2
November 24, 2023 19:02 5m 0s
Merge pull request #426 from ethereum/more-prop-simp2 Build #2214: Commit ed79da0 pushed by msooseth
November 23, 2023 09:44 57m 31s main
main
November 23, 2023 09:44 57m 31s
Merge pull request #379 from ethereum/fix-prank-with-value Build #2213: Commit e434b8e pushed by d-xo
November 22, 2023 17:08 51m 43s main
main
November 22, 2023 17:08 51m 43s
Simplify earlier and don't check reachability for FALSE Build #2212: Pull request #426 synchronize by msooseth
November 22, 2023 16:33 57m 28s more-prop-simp2
more-prop-simp2
November 22, 2023 16:33 57m 28s
Fuzzing Expr Build #2211: Pull request #416 synchronize by msooseth
November 21, 2023 14:16 45m 22s fuzz-expr-debug
fuzz-expr-debug
November 21, 2023 14:16 45m 22s
Abstract gas v3 Build #2210: Pull request #427 synchronize by arcz
November 17, 2023 20:38 9m 35s gas-family
gas-family
November 17, 2023 20:38 9m 35s
Abstract gas v3 Build #2209: Pull request #427 opened by arcz
November 17, 2023 20:16 23m 34s gas-family
gas-family
November 17, 2023 20:16 23m 34s
Fuzzing Expr Build #2208: Pull request #416 synchronize by msooseth
November 9, 2023 17:31 35m 13s fuzz-expr-debug
fuzz-expr-debug
November 9, 2023 17:31 35m 13s
Fuzzing Expr Build #2207: Pull request #416 synchronize by msooseth
November 9, 2023 17:27 5m 25s fuzz-expr-debug
fuzz-expr-debug
November 9, 2023 17:27 5m 25s
Simplify earlier and don't check reachability for FALSE Build #2206: Pull request #426 opened by msooseth
November 9, 2023 17:26 1h 3m 12s more-prop-simp2
more-prop-simp2
November 9, 2023 17:26 1h 3m 12s
Merge pull request #424 from ethereum/better-simplifications Build #2205: Commit 5e389fc pushed by msooseth
November 9, 2023 17:23 49m 2s main
main
November 9, 2023 17:23 49m 2s
Fuzzing Expr Build #2204: Pull request #416 synchronize by msooseth
November 9, 2023 12:10 50m 52s fuzz-expr-debug
fuzz-expr-debug
November 9, 2023 12:10 50m 52s
Fixing up BufLength, the use of nubOrd, and adding one more PLT rule Build #2203: Pull request #424 synchronize by msooseth
November 9, 2023 11:54 39m 14s better-simplifications
better-simplifications
November 9, 2023 11:54 39m 14s
Fixing up BufLength, the use of nubOrd, and adding one more PLT rule Build #2202: Pull request #424 synchronize by msooseth
November 9, 2023 11:40 15m 13s better-simplifications
better-simplifications
November 9, 2023 11:40 15m 13s
Fixing up BufLength, the use of nubOrd, and adding one more PLT rule Build #2201: Pull request #424 synchronize by msooseth
November 9, 2023 11:38 4m 2s better-simplifications
better-simplifications
November 9, 2023 11:38 4m 2s
Fixing up BufLength, the use of nubOrd, and adding one more PLT rule Build #2200: Pull request #424 synchronize by msooseth
November 9, 2023 11:34 4m 45s better-simplifications
better-simplifications
November 9, 2023 11:34 4m 45s
Fixing up BufLength, the use of nubOrd, and adding one more PLT rule Build #2199: Pull request #424 synchronize by msooseth
November 8, 2023 15:22 25m 35s better-simplifications
better-simplifications
November 8, 2023 15:22 25m 35s
Fixing up BufLength, the use of nubOrd, and adding one more PLT rule Build #2198: Pull request #424 opened by msooseth
November 8, 2023 15:09 16m 16s better-simplifications
better-simplifications
November 8, 2023 15:09 16m 16s
Fuzzing Expr Build #2197: Pull request #416 synchronize by msooseth
November 8, 2023 14:30 38m 28s fuzz-expr-debug
fuzz-expr-debug
November 8, 2023 14:30 38m 28s
Merge pull request #421 from ethereum/more-prop-simp Build #2196: Commit 778dd4d pushed by msooseth
November 8, 2023 13:41 53m 51s main
main
November 8, 2023 13:41 53m 51s
Fuzzing Expr Build #2195: Pull request #416 synchronize by msooseth
November 8, 2023 11:53 2h 38m 3s fuzz-expr-debug
fuzz-expr-debug
November 8, 2023 11:53 2h 38m 3s
Adding new solc-specific simplification rules Build #2194: Pull request #421 synchronize by msooseth
November 7, 2023 16:58 41m 39s more-prop-simp
more-prop-simp
November 7, 2023 16:58 41m 39s
ProTip! You can narrow down the results and go further in time using created:<2023-11-07 or the other filters available.