Skip to content

Symmetric Monoidal Categories #2168

Symmetric Monoidal Categories

Symmetric Monoidal Categories #2168

Annotations

1 warning

quick-build (latest, ubuntu-latest)

succeeded Apr 24, 2024 in 2m 48s
Set up job
0s
Build coq-community/docker-coq-action@v1
5s
Set supported coq-version
0s
Checkout repo
3s
Build HoTT
2m 37s
Revert permissions
0s
Post Checkout repo
0s
Complete job
0s