Small change to the aeneas script to make it more robust #874
Triggered via pull request
November 19, 2024 00:53
eliotmoss
Status
Success
Total duration
26m 57s
Artifacts
–
ci.yml
on: pull_request
x86-linux
2m 45s
x86_64-linux
2m 55s
x86-64-linux-O1
2m 55s
x86-64-linux-O2
3m 38s
x86-64-linux-unbox
3m 11s
x86-64-linux-ssa-int
2m 54s
x86_64-macos
26m 44s
jvm
49s
jvm-unbox
43s
wasm
57s