Skip to content

fixes #113

fixes #113 #6

Triggered via pull request December 2, 2024 03:08
Status Failure
Total duration 5m 51s
Artifacts

nix-action-master.yml

on: pull_request_target
mathcomp-bigenough
38s
mathcomp-bigenough
mathcomp-finmap
44s
mathcomp-finmap
hierarchy-builder
0s
hierarchy-builder
multinomials
0s
multinomials
mathcomp
0s
mathcomp
Fit to window
Zoom out
Zoom in

Annotations

3 errors
mathcomp-bigenough
Process completed with exit code 1.
coq-elpi
Process completed with exit code 1.
mathcomp-finmap
Process completed with exit code 1.