Skip to content

Clarify structure

Clarify structure #196

Triggered via pull request October 3, 2024 11:02
@proux01proux01
synchronize #2
Status Failure
Total duration 2h 1m 31s
Artifacts

nix-action-coq-master.yml

on: pull_request_target
mathcomp-character
3m 48s
mathcomp-character
mathcomp-analysis
10m 8s
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.