Skip to content

fixes #536 (hierarchy pic in README) #65

fixes #536 (hierarchy pic in README)

fixes #536 (hierarchy pic in README) #65

Triggered via pull request January 25, 2024 06:40
@affeldt-aistaffeldt-aist
synchronize #1163
Status Failure
Total duration 1m 14s
Artifacts

nix-action-8.19.yml

on: pull_request_target
mathcomp
0s
mathcomp
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-analysis-single
0s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in

Annotations

1 error
coq
Process completed with exit code 1.