Skip to content
.github/workflows/main.yml

Tools to use Elpi in Lambdapi + type classes #3588

Sign in to view logs

Tools to use Elpi in Lambdapi + type classes

Tools to use Elpi in Lambdapi + type classes #3588

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

main.yml

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

Annotations

1 error
test_full (5.5.0)
Process completed with exit code 1.