Skip to content

Clarify structure

Clarify structure #182

Re-run triggered September 29, 2024 08:40
Status Cancelled
Total duration 1h 15m 58s
Artifacts

nix-action-coq-master.yml

on: pull_request
mathcomp-character
5m 25s
mathcomp-character
mathcomp-analysis
12m 3s
mathcomp-analysis
Fit to window
Zoom out
Zoom in

Annotations

6 errors
coq-tools
Process completed with exit code 1.
stdlib-subcomponents
Process completed with exit code 1.
metacoq
The run was canceled by @proux01.
metacoq
The operation was canceled.
fiat-crypto
The run was canceled by @proux01.
fiat-crypto
The operation was canceled.