Skip to content
lint & build changed ports

abella: update to 2.0.8.3; new deps added: ocaml-base64, -crunch, -ptime #797

Sign in to view logs

abella: update to 2.0.8.3; new deps added: ocaml-base64, -crunch, -ptime

abella: update to 2.0.8.3; new deps added: ocaml-base64, -crunch, -ptime #797

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macos-14
1m 55s
macos-13
3m 39s
macos-12
3m 31s
9m 5s