Skip to content
agda-unimath CI

Refactoring of retractions, sections, and equivalences, and adding the 6-for-2 property of equivalences #4927

Sign in to view logs

Refactoring of retractions, sections, and equivalences, and adding the 6-for-2 property of equivalences

Refactoring of retractions, sections, and equivalences, and adding the 6-for-2 property of equivalences #4927

Triggered via pull request November 9, 2023 13:13
@fredrik-bakkefredrik-bakke
synchronize #903
EgbertRijke:6-for-2
Status Success
Total duration 3m 3s
Artifacts –

ci.yaml

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

Annotations

2 warnings
typecheck (macOS-latest, 2.6.3)
Cache save failed.
typecheck (ubuntu-latest, 2.6.3)
Cache save failed.