Tools to use Elpi in Lambdapi + type classes #3624
Triggered via pull request
September 17, 2026 11:45
agontard
Status
Success
Total duration
8m 42s
Artifacts
–
Annotations
1 notice
|
test_full (5.5.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
|