.github/workflows/ocaml.yml

Tools to use Elpi in Lambdapi + type classes #807

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test_compile (5.4.1)	5m 6s
test_compile (4.14.4)	4m 52s
test_compile (5.2.1)	4m 57s
test_compile (5.3.0)	4m 56s
	19m 51s