Skip to content

Clarify structure

Clarify structure #186

Triggered via pull request September 29, 2024 15:36
@proux01proux01
synchronize #2
Status Failure
Total duration 1h 55m 54s
Artifacts

nix-action-coq-master.yml

on: pull_request_target
mathcomp-character
3m 44s
mathcomp-character
mathcomp-analysis
10m 16s
mathcomp-analysis
Fit to window
Zoom out
Zoom in

Annotations

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