Skip to content

Actions: ethereum/hevm

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
948 workflow runs
948 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removing IOAct which was not used Build #3051: Pull request #630 opened by msooseth
January 9, 2025 15:51 38m 40s removing-ioact
removing-ioact
January 9, 2025 15:51 38m 40s
Merge pull request #620 from ethereum/overapproximate-staticcall Build #3050: Commit 828edc1 pushed by msooseth
January 9, 2025 15:22 44m 25s main
main
January 9, 2025 15:22 44m 25s
Merge pull request #629 from ethereum/symb-to-concrete Build #3049: Commit bbb40fc pushed by msooseth
January 9, 2025 15:21 48s main
main
January 9, 2025 15:21 48s
Overapproximate staticcall in case we can't resolve callee Build #3048: Pull request #620 synchronize by msooseth
January 9, 2025 14:48 1h 20m 11s overapproximate-staticcall
overapproximate-staticcall
January 9, 2025 14:48 1h 20m 11s
Use the SMT solver to convert symbolic to concrete value(s) Build #3047: Pull request #629 synchronize by msooseth
January 9, 2025 14:10 39m 57s symb-to-concrete
symb-to-concrete
January 9, 2025 14:10 39m 57s
Use the SMT solver to convert symbolic to concrete value(s) Build #3046: Pull request #629 synchronize by msooseth
January 9, 2025 13:12 30m 12s symb-to-concrete
symb-to-concrete
January 9, 2025 13:12 30m 12s
Use the SMT solver to convert symbolic to concrete value(s) Build #3045: Pull request #629 synchronize by msooseth
January 9, 2025 11:56 44m 40s symb-to-concrete
symb-to-concrete
January 9, 2025 11:56 44m 40s
Use the SMT solver to convert symbolic to concrete value(s) Build #3044: Pull request #629 synchronize by msooseth
January 8, 2025 16:05 42m 22s symb-to-concrete
symb-to-concrete
January 8, 2025 16:05 42m 22s
Use the SMT solver to convert symbolic to concrete value(s) Build #3043: Pull request #629 opened by msooseth
January 8, 2025 15:43 22m 28s symb-to-concrete
symb-to-concrete
January 8, 2025 15:43 22m 28s
Fixing changelog Build #3042: Commit d6ea97b pushed by msooseth
January 7, 2025 10:56 1h 21m 22s main
main
January 7, 2025 10:56 1h 21m 22s
Overapproximate staticcall in case we can't resolve callee Build #3041: Pull request #620 synchronize by msooseth
January 7, 2025 10:51 1h 20m 51s overapproximate-staticcall
overapproximate-staticcall
January 7, 2025 10:51 1h 20m 51s
Merge pull request #625 from ethereum/func-selector-fix Build #3040: Commit 0804e54 pushed by msooseth
January 7, 2025 10:51 5m 40s main
main
January 7, 2025 10:51 5m 40s
Overapproximate staticcall in case we can't resolve callee Build #3039: Pull request #620 synchronize by msooseth
January 7, 2025 10:50 1m 32s overapproximate-staticcall
overapproximate-staticcall
January 7, 2025 10:50 1m 32s
Merge pull request #628 from ethereum/more-prop-simp2 Build #3038: Commit b44f4b9 pushed by msooseth
January 7, 2025 10:49 1m 42s main
main
January 7, 2025 10:49 1m 42s
More Prop simplification rules Build #3037: Pull request #628 opened by msooseth
January 6, 2025 19:42 33m 33s more-prop-simp2
more-prop-simp2
January 6, 2025 19:42 33m 33s
Overapproximate staticcall in case we can't resolve callee Build #3036: Pull request #620 synchronize by msooseth
January 6, 2025 19:24 37m 45s overapproximate-staticcall
overapproximate-staticcall
January 6, 2025 19:24 37m 45s
Overapproximate staticcall in case we can't resolve callee Build #3035: Pull request #620 synchronize by msooseth
January 6, 2025 18:37 34m 3s overapproximate-staticcall
overapproximate-staticcall
January 6, 2025 18:37 34m 3s
Overapproximate staticcall in case we can't resolve callee Build #3034: Pull request #620 synchronize by msooseth
January 6, 2025 14:45 33m 27s overapproximate-staticcall
overapproximate-staticcall
January 6, 2025 14:45 33m 27s
Overapproximate staticcall in case we can't resolve callee Build #3033: Pull request #620 synchronize by msooseth
January 6, 2025 14:45 16s overapproximate-staticcall
overapproximate-staticcall
January 6, 2025 14:45 16s
Overapproximate staticcall in case we can't resolve callee Build #3032: Pull request #620 synchronize by msooseth
January 6, 2025 12:04 44m 21s overapproximate-staticcall
overapproximate-staticcall
January 6, 2025 12:04 44m 21s
Allow dealing with abi.encodeWithSelector Build #3031: Pull request #625 synchronize by msooseth
January 6, 2025 12:03 6h 0m 46s func-selector-fix
func-selector-fix
January 6, 2025 12:03 6h 0m 46s
Merge pull request #619 from ethereum/better-debug Build #3030: Commit 4339670 pushed by msooseth
January 6, 2025 11:32 1h 18m 34s main
main
January 6, 2025 11:32 1h 18m 34s
Allow dealing with abi.encodeWithSelector Build #3029: Pull request #625 synchronize by msooseth
January 6, 2025 11:28 35m 14s func-selector-fix
func-selector-fix
January 6, 2025 11:28 35m 14s
Allow dealing with abi.encodeWithSelector Build #3028: Pull request #625 synchronize by msooseth
January 6, 2025 11:25 4m 25s func-selector-fix
func-selector-fix
January 6, 2025 11:25 4m 25s
Allow dealing with abi.encodeWithSelector Build #3027: Pull request #625 synchronize by msooseth
January 6, 2025 11:23 2m 26s func-selector-fix
func-selector-fix
January 6, 2025 11:23 2m 26s