Skip to content

Actions: ethereum/hevm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,307 workflow runs
1,307 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prepare 0.53.0 release Build #2318: Pull request #460 opened by arcz
February 23, 2024 13:34 22m 59s prepare-0.53.0
prepare-0.53.0
February 23, 2024 13:34 22m 59s
SMT generation was wrong in more ways than one. Fixing. Build #2317: Pull request #457 synchronize by msooseth
February 23, 2024 12:13 1h 26m 41s fix-concat
fix-concat
February 23, 2024 12:13 1h 26m 41s
SMT generation was wrong in more ways than one. Fixing. Build #2316: Pull request #457 synchronize by msooseth
February 22, 2024 17:20 6h 0m 52s fix-concat
fix-concat
February 22, 2024 17:20 6h 0m 52s
Merge pull request #458 from rex4539/typos Publish Documentation #224: Commit 7a8a48d pushed by msooseth
February 22, 2024 16:32 21m 49s main
main
February 22, 2024 16:32 21m 49s
Merge pull request #458 from rex4539/typos Build #2315: Commit 7a8a48d pushed by msooseth
February 22, 2024 16:32 37m 28s main
main
February 22, 2024 16:32 37m 28s
Fix typos Build #2312: Pull request #458 opened by rex4539
February 22, 2024 15:39 21m 53s typos
typos
February 22, 2024 15:39 21m 53s
Merge pull request #455 from ethereum/msooseth-build-update Publish Documentation #223: Commit a0af750 pushed by msooseth
February 22, 2024 14:45 3m 23s main
main
February 22, 2024 14:45 3m 23s
Merge pull request #455 from ethereum/msooseth-build-update Build #2311: Commit a0af750 pushed by msooseth
February 22, 2024 14:45 42m 34s main
main
February 22, 2024 14:45 42m 34s
SMT generation was wrong in more ways than one. Fixing. Build #2310: Pull request #457 synchronize by msooseth
February 22, 2024 14:01 3h 19m 36s fix-concat
fix-concat
February 22, 2024 14:01 3h 19m 36s
CopySlice simplification, more generic Array/Map slot simplification, fixing decompose, --nodecompose flag Build #2309: Pull request #448 synchronize by msooseth
February 22, 2024 13:52 23m 13s simpl-copySlice
simpl-copySlice
February 22, 2024 13:52 23m 13s
SMT generation was wrong in more ways than one. Fixing. Build #2308: Pull request #457 synchronize by msooseth
February 22, 2024 11:52 1h 0m 58s fix-concat
fix-concat
February 22, 2024 11:52 1h 0m 58s
Update build.yml to build on MacOS ARM64, too Build #2307: Pull request #455 synchronize by msooseth
February 22, 2024 11:44 23m 46s msooseth-build-update
msooseth-build-update
February 22, 2024 11:44 23m 46s
CopySlice simplification, more generic Array/Map slot simplification, fixing decompose, --nodecompose flag Build #2306: Pull request #448 synchronize by msooseth
February 21, 2024 16:18 49m 50s simpl-copySlice
simpl-copySlice
February 21, 2024 16:18 49m 50s
Update build.yml to build on MacOS ARM64, too Build #2305: Pull request #455 synchronize by msooseth
February 21, 2024 16:04 49m 9s msooseth-build-update
msooseth-build-update
February 21, 2024 16:04 49m 9s
CopySlice simplification, more generic Array/Map slot simplification, fixing decompose, --nodecompose flag Build #2304: Pull request #448 synchronize by msooseth
February 21, 2024 15:59 23m 51s simpl-copySlice
simpl-copySlice
February 21, 2024 15:59 23m 51s
CopySlice simplification, more generic Array/Map slot simplification, fixing decompose, --nodecompose flag Build #2303: Pull request #448 synchronize by msooseth
February 21, 2024 13:25 15m 42s simpl-copySlice
simpl-copySlice
February 21, 2024 13:25 15m 42s
CopySlice simplification, more generic Array/Map slot simplification, fixing decompose, --nodecompose flag Build #2302: Pull request #448 synchronize by msooseth
February 20, 2024 11:58 24m 12s simpl-copySlice
simpl-copySlice
February 20, 2024 11:58 24m 12s
Update build.yml to build on MacOS ARM64, too Build #2301: Pull request #455 opened by msooseth
February 20, 2024 11:40 41m 17s msooseth-build-update
msooseth-build-update
February 20, 2024 11:40 41m 17s
CopySlice simplification, more generic Array/Map slot simplification, fixing decompose, --nodecompose flag Build #2300: Pull request #448 synchronize by msooseth
February 20, 2024 11:11 47m 33s simpl-copySlice
simpl-copySlice
February 20, 2024 11:11 47m 33s
Using with-utf8 so we don't encounter weird locale issues anymore Build #2299: Pull request #452 synchronize by msooseth
February 20, 2024 11:09 25m 19s with-utf8
with-utf8
February 20, 2024 11:09 25m 19s
Merge pull request #453 from ethereum/fix-cvc5-incremental Publish Documentation #222: Commit ad2e70e pushed by msooseth
February 20, 2024 11:09 6m 53s main
main
February 20, 2024 11:09 6m 53s
Merge pull request #453 from ethereum/fix-cvc5-incremental Build #2298: Commit ad2e70e pushed by msooseth
February 20, 2024 11:09 1h 2m 59s main
main
February 20, 2024 11:09 1h 2m 59s
CopySlice simplification, more generic Array/Map slot simplification, fixing decompose, --nodecompose flag Build #2297: Pull request #448 synchronize by msooseth
February 19, 2024 18:02 52m 21s simpl-copySlice
simpl-copySlice
February 19, 2024 18:02 52m 21s
CopySlice simplification, more generic Array/Map slot simplification, fixing decompose, --nodecompose flag Build #2296: Pull request #448 synchronize by msooseth
February 19, 2024 17:36 31m 14s simpl-copySlice
simpl-copySlice
February 19, 2024 17:36 31m 14s
CopySlice simplification, more generic Array/Map slot simplification, fixing decompose, --nodecompose flag Build #2295: Pull request #448 synchronize by msooseth
February 19, 2024 17:06 26m 45s simpl-copySlice
simpl-copySlice
February 19, 2024 17:06 26m 45s
ProTip! You can narrow down the results and go further in time using created:<2024-02-19 or the other filters available.