Small fix to the aeneas script to make it a little more robust to weird setting by people like me #871
ci.yml
on: pull_request
x86-linux
2m 45s
x86_64-linux
2m 53s
x86-64-linux-O1
2m 51s
x86-64-linux-O2
3m 10s
x86-64-linux-unbox
2m 57s
x86-64-linux-ssa-int
2m 54s
x86_64-macos
25m 57s
jvm
44s
jvm-unbox
44s
wasm
56s