Skip to content
docker-ci

Make it apparent (with Poly/ML for now) that Arbint.int = IntInf.int #590

Sign in to view logs

Make it apparent (with Poly/ML for now) that Arbint.int = IntInf.int

Make it apparent (with Poly/ML for now) that Arbint.int = IntInf.int #590

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-stdknl
2m 43s
build-otknl
2h 15m 11s
build-expk
2m 42s
build-mosml
2m 18s
2h 22m 54s