Skip to content
.github/workflows/ocaml.yml

Tools to use Elpi in Lambdapi + type classes #807

Sign in to view logs

Tools to use Elpi in Lambdapi + type classes

Tools to use Elpi in Lambdapi + type classes #807

Triggered via pull request September 17, 2026 11:42
@agontardagontard
synchronize #1378
agontard:elpi-rebase
Status Success
Total duration 5m 31s
Artifacts –

ocaml.yml

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

Annotations

4 notices
test_compile (5.3.0)
System package installation failed. Re-synchronizing package index files and retrying installation. Error details: the process '/usr/bin/sudo' failed with exit code 100
test_compile (5.2.1)
System package installation failed. Re-synchronizing package index files and retrying installation. Error details: the process '/usr/bin/sudo' failed with exit code 100
test_compile (5.4.1)
System package installation failed. Re-synchronizing package index files and retrying installation. Error details: the process '/usr/bin/sudo' failed with exit code 100
test_compile (4.14.4)
System package installation failed. Re-synchronizing package index files and retrying installation. Error details: the process '/usr/bin/sudo' failed with exit code 100