Skip to content
agda-unimath CI

Partial and copartial functions #5388

Sign in to view logs

Partial and copartial functions

Partial and copartial functions #5388

Triggered via pull request December 6, 2023 23:04
@EgbertRijkeEgbertRijke
synchronize #975
EgbertRijke:partial-sequences
Status Failure
Total duration 2m 36s
Artifacts –

ci.yaml

on: pull_request
Matrix: typecheck
pre-commit
36s
pre-commit
link-check
26s
link-check
Fit to window
Zoom out
Zoom in

Annotations

2 errors
pre-commit
Process completed with exit code 1.
link-check
Process completed with exit code 101.