Skip to content
Ubuntu build

(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories #2304

Sign in to view logs

(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories

(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories #2304

Triggered via pull request January 23, 2024 04:13
@marcinjangrzybowskimarcinjangrzybowski
opened #1091
marcinjangrzybowski:category-path
Status Success
Total duration 31m 58s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
31m 48s
test-cubical
Fit to window
Zoom out
Zoom in