ci: test newer versions of lambdapi #116
fblanquiAnnotations
4 errors
|
build (lambdapi)
Process completed with exit code 100.
|
|
build (lambdapi.2.3.0)
Process completed with exit code 100.
|
|
build (lambdapi.2.3.1)
Process completed with exit code 100.
|
|
build (lambdapi.2.4.0)
Process completed with exit code 100.
|