Skip to content

Actions: argotorg/hevm

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,730 workflow runs
1,730 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test: Fix processing of yul object files in equivalence checking Build #4713: Pull request #1021 opened by blishko
26m 53s fix-yul-with-objects
fix-yul-with-objects
26m 53s
Add missing simplifications, add tests for all concretizations Build #4712: Pull request #1019 synchronize by msooseth
51m 52s concretize-check-all
concretize-check-all
51m 52s
More prop and expr simplification rules Build #4711: Pull request #1020 opened by msooseth
37m 36s More-prop-simplification-rules
More-prop-simplification-rules
37m 36s
Add missing simplifications, add tests for all concretizations Build #4710: Pull request #1019 synchronize by msooseth
31m 0s concretize-check-all
concretize-check-all
31m 0s
Add 2 more Expr simplifications related to negative numbers, enable N… Build #4709: Commit b0e7e9f pushed by msooseth
42m 29s main
main
42m 29s
Add 2 more Expr simplifications related to negative numbers, enable NOT concretization Build #4708: Pull request #1017 reopened by msooseth
48m 15s more-expr-simp
more-expr-simp
48m 15s
Test: Enable even more yul equivalence tests Build #4707: Commit 7d18999 pushed by blishko
23m 29s main
main
23m 29s
Add 2 more Expr simplifications related to negative numbers, enable NOT concretization Build #4706: Pull request #1017 synchronize by msooseth
33m 45s more-expr-simp
more-expr-simp
33m 45s
Add 2 more Expr simplifications related to negative numbers, enable NOT concretization Build #4705: Pull request #1017 synchronize by msooseth
8m 0s more-expr-simp
more-expr-simp
8m 0s
Add 2 more Expr simplifications related to negative numbers, enable NOT concretization Build #4704: Pull request #1017 synchronize by msooseth
11m 3s more-expr-simp
more-expr-simp
11m 3s
Add 2 more Expr simplifications related to negative numbers, enable NOT concretization Build #4703: Pull request #1017 synchronize by msooseth
9m 10s more-expr-simp
more-expr-simp
9m 10s
Add 2 more Expr simplifications related to negative numbers, enable NOT concretization Build #4702: Pull request #1017 synchronize by msooseth
1m 49s more-expr-simp
more-expr-simp
1m 49s
Add 2 more Expr simplifications related to negative numbers, enable NOT concretization Build #4701: Pull request #1017 synchronize by msooseth
8m 22s more-expr-simp
more-expr-simp
8m 22s
Add 2 more Expr simplifications related to negative numbers, enable NOT concretization Build #4700: Pull request #1017 synchronize by msooseth
49s more-expr-simp
more-expr-simp
49s
Test: Enable even more yul equivalence tests Build #4699: Pull request #1018 opened by blishko
37m 3s more-yul-equiv-tests
more-yul-equiv-tests
37m 3s
Add 2 more Expr simplifications related to negative numbers, enable NOT concretization Build #4698: Pull request #1017 synchronize by msooseth
32m 13s more-expr-simp
more-expr-simp
32m 13s
Add 2 more Expr simplifications related to negative numbers, enable NOT concretization Build #4697: Pull request #1017 opened by msooseth
1m 41s more-expr-simp
more-expr-simp
1m 41s
Test: Re-enable some yul equivalence tests Build #4696: Commit dcfe657 pushed by blishko
32m 34s main
main
32m 34s
Test: Small cleanup in equivalence checking of yul optimizations Build #4695: Pull request #1013 synchronize by blishko
48m 43s yul-equiv-cleanup
yul-equiv-cleanup
48m 43s
Test: Small cleanup in equivalence checking of yul optimizations Build #4694: Pull request #1013 synchronize by blishko
21m 17s yul-equiv-cleanup
yul-equiv-cleanup
21m 17s
Test: Small cleanup in equivalence checking of yul optimizations Build #4693: Pull request #1013 synchronize by blishko
52m 47s yul-equiv-cleanup
yul-equiv-cleanup
52m 47s
CI: Unify solidity version Build #4692: Commit 87a6bb7 pushed by blishko
41m 2s main
main
41m 2s
CI: Unify solidity version Build #4691: Pull request #1015 synchronize by blishko
40m 29s unify-solidity-version
unify-solidity-version
40m 29s
CI: Unify solidity version Build #4690: Pull request #1015 synchronize by blishko
2m 14s unify-solidity-version
unify-solidity-version
2m 14s
CI: Unify solidity version Build #4689: Pull request #1015 synchronize by blishko
31m 36s unify-solidity-version
unify-solidity-version
31m 36s