Skip to content
Ubuntu build

(C ≃ᶜ C') ≃ (C ≡ C') & univalent category of setoids #2288

Sign in to view logs

(C ≃ᶜ C') ≃ (C ≡ C') & univalent category of setoids

(C ≃ᶜ C') ≃ (C ≡ C') & univalent category of setoids #2288

Triggered via pull request December 4, 2023 19:48
@marcinjangrzybowskimarcinjangrzybowski
opened #1084
marcinjangrzybowski:univ-cats-path
Status Success
Total duration 31m 55s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-ubuntu.yml

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