Skip to content

Coq 9.0+rc1

Coq 9.0+rc1 #705

Triggered via pull request January 25, 2025 11:49
@proux01proux01
synchronize #317
Status Cancelled
Total duration 3m 10s
Artifacts

nix-action-8.18.yml

on: pull_request_target
metacoq-pcuic
0s
metacoq-pcuic
metacoq-template-coq
0s
metacoq-template-coq
mathcomp-fingroup
0s
mathcomp-fingroup
mathcomp-bigenough
0s
mathcomp-bigenough
mathcomp-finmap
0s
mathcomp-finmap
QuickChick
0s
QuickChick
deriving
0s
deriving
coquelicot
0s
coquelicot
relation-algebra
0s
relation-algebra
metacoq-safechecker
0s
metacoq-safechecker
metacoq-template-pcuic
0s
metacoq-template-pcuic
metacoq-translations
0s
metacoq-translations
mathcomp-algebra
0s
mathcomp-algebra
mathcomp-tarjan
0s
mathcomp-tarjan
async-test
0s
async-test
extructures
0s
extructures
interval
0s
interval
metacoq-erasure
0s
metacoq-erasure
metacoq-quotation
0s
metacoq-quotation
metacoq-safechecker-plugin
0s
metacoq-safechecker-plugin
mathcomp-solvable
0s
mathcomp-solvable
mathcomp-classical
0s
mathcomp-classical
fourcolor
0s
fourcolor
mathcomp-zify
0s
mathcomp-zify
multinomials
0s
multinomials
mathcomp-word
0s
mathcomp-word
addition-chains
0s
addition-chains
metacoq-erasure-plugin
0s
metacoq-erasure-plugin
mathcomp-field
0s
mathcomp-field
mathcomp-reals
0s
mathcomp-reals
graph-theory
0s
graph-theory
mathcomp-algebra-tactics
0s
mathcomp-algebra-tactics
metacoq
0s
metacoq
mathcomp-character
0s
mathcomp-character
mathcomp-real-closed
0s
mathcomp-real-closed
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-reals-stdlib
0s
mathcomp-reals-stdlib
mathcomp-experimental-reals
0s
mathcomp-experimental-reals
ElmExtraction
0s
ElmExtraction
RustExtraction
0s
RustExtraction
mathcomp
0s
mathcomp
mathcomp-analysis-stdlib
0s
mathcomp-analysis-stdlib
ssprove
0s
ssprove
odd-order
0s
odd-order
mathcomp-infotheo
0s
mathcomp-infotheo
Fit to window
Zoom out
Zoom in

Annotations

32 errors and 2 warnings
coq-tactical
The run was canceled by @proux01.
HoTT
The run was canceled by @proux01.
coq-shell
The run was canceled by @proux01.
paramcoq
The run was canceled by @proux01.
dpdgraph
The run was canceled by @proux01.
dpdgraph
The operation was canceled.
semantics
The run was canceled by @proux01.
semantics
The operation was canceled.
pocklington
The run was canceled by @proux01.
pocklington
The operation was canceled.
coqutil
The run was canceled by @proux01.
coqutil
The operation was canceled.
Ordinal
The run was canceled by @proux01.
Ordinal
The operation was canceled.
coq-record-update
The run was canceled by @proux01.
coq-record-update
The operation was canceled.
high-school-geometry
The run was canceled by @proux01.
high-school-geometry
The operation was canceled.
LibHyps
The run was canceled by @proux01.
LibHyps
The operation was canceled.
coqide
The run was canceled by @proux01.
coqide
The operation was canceled.
metalib
The run was canceled by @proux01.
metalib
The operation was canceled.
serapi
The run was canceled by @proux01.
serapi
The operation was canceled.
stdlib
The run was canceled by @proux01.
stdlib
The operation was canceled.
zorns-lemma
The run was canceled by @proux01.
zorns-lemma
The operation was canceled.
vscoq-language-server
The run was canceled by @proux01.
vscoq-language-server
The operation was canceled.
coq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
coq-lsp
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636