Skip to content
CI

Theorem 5.8.2 from the book: characterizations of identity types #3037

Sign in to view logs

Theorem 5.8.2 from the book: characterizations of identity types

Theorem 5.8.2 from the book: characterizations of identity types #3037

Triggered via pull request November 21, 2024 18:39
@ThomatoTomatoThomatoTomato
synchronize #2143
ThomatoTomato:IdentitySystems
Status Cancelled
Total duration 8s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Waiting for pending jobs
nix
nix
Matrix: opam-build
Waiting for pending jobs
Matrix: quick-build
Waiting for pending jobs
Matrix: coqchk
Waiting for pending jobs
Matrix: install
Waiting for pending jobs
doc-alectryon
doc-alectryon
doc-coqdoc
doc-coqdoc
doc-dep-graphs
doc-dep-graphs
doc-timing
doc-timing
deploy-doc
deploy-doc
delete-artifacts
delete-artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error
CI
Canceling since a higher priority waiting request for 'CI @ ThomatoTomato:IdentitySystems' exists