Skip to content

Actions: ethereum/hevm

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

RFC: The path to Futamura 🗻 Build #3822: Pull request #784 synchronize by gustavo-grieco
July 1, 2025 15:16 18m 41s gustavo-grieco:dev-futamura
gustavo-grieco:dev-futamura
July 1, 2025 15:16 18m 41s
RFC: The path to Futamura 🗻 Build #3821: Pull request #784 synchronize by gustavo-grieco
June 30, 2025 17:49 22m 21s gustavo-grieco:dev-futamura
gustavo-grieco:dev-futamura
June 30, 2025 17:49 22m 21s
[DRAFT] Dump unsolved queries, use "empty-smt-solver" Build #3820: Pull request #779 synchronize by msooseth
June 30, 2025 17:39 33m 15s dev-dumpUnsolved
dev-dumpUnsolved
June 30, 2025 17:39 33m 15s
[DRAFT] Dump unsolved queries, use "empty-smt-solver" Build #3819: Pull request #779 synchronize by msooseth
June 30, 2025 17:31 8m 9s dev-dumpUnsolved
dev-dumpUnsolved
June 30, 2025 17:31 8m 9s
[DRAFT] Dump unsolved queries, use "empty-smt-solver" Build #3818: Pull request #779 synchronize by msooseth
June 30, 2025 16:37 54m 17s dev-dumpUnsolved
dev-dumpUnsolved
June 30, 2025 16:37 54m 17s
[DRAFT] Dump unsolved queries, use "empty-smt-solver" Build #3817: Pull request #779 synchronize by msooseth
June 30, 2025 16:29 8m 35s dev-dumpUnsolved
dev-dumpUnsolved
June 30, 2025 16:29 8m 35s
[DRAFT] Dump unsolved queries, use "empty-smt-solver" Build #3816: Pull request #779 synchronize by msooseth
June 30, 2025 16:28 1m 35s dev-dumpUnsolved
dev-dumpUnsolved
June 30, 2025 16:28 1m 35s
[DRAFT] Dump unsolved queries, use "empty-smt-solver" Build #3815: Pull request #779 synchronize by msooseth
June 30, 2025 16:27 1m 9s dev-dumpUnsolved
dev-dumpUnsolved
June 30, 2025 16:27 1m 9s
Adding a number of serious improvements to dispatched SMT2 query Build #3814: Pull request #783 synchronize by msooseth
June 30, 2025 14:00 27m 43s concretization-addmod-mulmod
concretization-addmod-mulmod
June 30, 2025 14:00 27m 43s
Adding a number of serious improvements to dispatched SMT2 query Build #3813: Pull request #783 synchronize by msooseth
June 30, 2025 13:48 12m 5s concretization-addmod-mulmod
concretization-addmod-mulmod
June 30, 2025 13:48 12m 5s
Adding a number of serious improvements to dispatched SMT2 query Build #3812: Pull request #783 synchronize by msooseth
June 30, 2025 13:42 6m 13s concretization-addmod-mulmod
concretization-addmod-mulmod
June 30, 2025 13:42 6m 13s
Adding a number of serious improvements to dispatched SMT2 query Build #3811: Pull request #783 synchronize by msooseth
June 30, 2025 12:59 23m 43s concretization-addmod-mulmod
concretization-addmod-mulmod
June 30, 2025 12:59 23m 43s
Adding a number of serious improvements to dispatched SMT2 query Build #3810: Pull request #783 synchronize by msooseth
June 30, 2025 12:56 3m 15s concretization-addmod-mulmod
concretization-addmod-mulmod
June 30, 2025 12:56 3m 15s
Adding a number of serious improvements to dispatched SMT2 query Build #3809: Pull request #783 synchronize by msooseth
June 30, 2025 12:36 19m 37s concretization-addmod-mulmod
concretization-addmod-mulmod
June 30, 2025 12:36 19m 37s
Adding a number of serious improvements to dispatched SMT2 query Build #3808: Pull request #783 synchronize by msooseth
June 30, 2025 12:35 42s concretization-addmod-mulmod
concretization-addmod-mulmod
June 30, 2025 12:35 42s
More rewrites for array/map clash Build #3807: Pull request #765 synchronize by msooseth
June 30, 2025 11:43 22m 40s more-lookup-rewrites
more-lookup-rewrites
June 30, 2025 11:43 22m 40s
More rewrites for array/map clash Build #3806: Pull request #765 synchronize by msooseth
June 30, 2025 11:43 12s more-lookup-rewrites
more-lookup-rewrites
June 30, 2025 11:43 12s
More rewrites for array/map clash Build #3805: Pull request #765 synchronize by msooseth
June 30, 2025 11:02 41m 6s more-lookup-rewrites
more-lookup-rewrites
June 30, 2025 11:02 41m 6s
More rewrites for array/map clash Build #3804: Pull request #765 synchronize by msooseth
June 30, 2025 09:17 36m 57s more-lookup-rewrites
more-lookup-rewrites
June 30, 2025 09:17 36m 57s
More rewrites for array/map clash Build #3803: Pull request #765 synchronize by msooseth
June 30, 2025 09:04 14m 1s more-lookup-rewrites
more-lookup-rewrites
June 30, 2025 09:04 14m 1s
RFC: The path to Futamura 🗻 Build #3802: Pull request #784 opened by gustavo-grieco
June 28, 2025 12:22 22m 40s gustavo-grieco:dev-futamura
gustavo-grieco:dev-futamura
June 28, 2025 12:22 22m 40s
Adding a number of serious improvements to dispatched SMT2 query Build #3801: Pull request #783 synchronize by msooseth
June 27, 2025 14:32 6h 9m 59s concretization-addmod-mulmod
concretization-addmod-mulmod
June 27, 2025 14:32 6h 9m 59s
Adding a number of serious improvements to dispatched SMT2 query Build #3800: Pull request #783 synchronize by msooseth
June 27, 2025 14:19 14m 0s concretization-addmod-mulmod
concretization-addmod-mulmod
June 27, 2025 14:19 14m 0s
Adding a number of serious improvements to dispatched SMT2 query Build #3799: Pull request #783 synchronize by msooseth
June 27, 2025 14:18 6s concretization-addmod-mulmod
concretization-addmod-mulmod
June 27, 2025 14:18 6s
Adding a number of serious improvements to dispatched SMT2 query Build #3798: Pull request #783 synchronize by msooseth
June 27, 2025 14:13 5m 39s concretization-addmod-mulmod
concretization-addmod-mulmod
June 27, 2025 14:13 5m 39s