Skip to content
Ubuntu build

Formalize Theorem 7.2.2 in the HoTT Book #2718

Sign in to view logs

Formalize Theorem 7.2.2 in the HoTT Book

Formalize Theorem 7.2.2 in the HoTT Book #2718

This workflow is awaiting approval from a maintainer in #1180
Triggered via pull request January 15, 2025 04:19
@anshwad10anshwad10
opened #1180
anshwad10:patch-2
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #1180

ci-ubuntu.yml

on: pull_request
test-cubical
test-cubical
Fit to window
Zoom out
Zoom in