Skip to content

Clarify structure

Clarify structure #198

Triggered via pull request October 5, 2024 13:50
@proux01proux01
synchronize #2
Status Failure
Total duration 1h 51m 18s
Artifacts

nix-action-coq-master.yml

on: pull_request_target
mathcomp-character
5m 21s
mathcomp-character
mathcomp-analysis
11m 40s
mathcomp-analysis
Fit to window
Zoom out
Zoom in

Annotations

4 errors
coq-tools
Process completed with exit code 1.
stdlib-test
Process completed with exit code 1.
ITree
Process completed with exit code 1.
hierarchy-builder-test
Process completed with exit code 1.