Skip to content

Add natural number recursor #91

Add natural number recursor

Add natural number recursor #91

Triggered via pull request January 15, 2024 11:42
@AilrunAilrun
synchronize #43
pr-rec
Status Failure
Total duration 9m 11s
Artifacts

ci_build.yml

on: pull_request
Completeness of _CoqProject
3s
Completeness of _CoqProject
Continuous Intergration
9m 1s
Continuous Intergration
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 notice
Continuous Intergration
Process completed with exit code 2.
Continuous Intergration
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100