Skip to content
.github/workflows/ocaml.yml

Tools to use Elpi in Lambdapi + type classes #774

Sign in to view logs

Tools to use Elpi in Lambdapi + type classes

Tools to use Elpi in Lambdapi + type classes #774

Triggered via pull request September 7, 2026 19:54
@agontardagontard
synchronize #1378
agontard:elpi-rebase
Status Failure
Total duration 4m 31s
Artifacts –

ocaml.yml

on: pull_request
Matrix: test_compile
Fit to window
Zoom out
Zoom in

Annotations

4 errors
test_compile (5.2.1)
Process completed with exit code 1.
test_compile (4.14.4)
Process completed with exit code 1.
test_compile (5.4.1)
Process completed with exit code 1.
test_compile (5.3.0)
Process completed with exit code 1.