Skip to content

ci: add whitespace check #1989

ci: add whitespace check

ci: add whitespace check #1989

Annotations

1 warning

quick-build (dev, ubuntu-latest)

succeeded Mar 6, 2024 in 2m 37s
Set up job
1s
Build coq-community/docker-coq-action@v1
6s
Set supported coq-version
0s
Checkout repo
0s
Build HoTT
2m 30s
Revert permissions
0s
Post Checkout repo
0s
Complete job
0s