Skip to content
Ubuntu build

(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories (#1091) #2366

Sign in to view logs

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

(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories (#1091) #2366

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-cubical
30m 53s
30m 53s