Skip to content

Clarify structure

Clarify structure #187

Triggered via pull request September 29, 2024 15:36
Status Failure
Total duration 2h 0m 39s
Artifacts

nix-action-coq-master.yml

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

Annotations

1 error
coq-tools
Process completed with exit code 1.