Skip to content

Port to MathComp 2

Port to MathComp 2 #18

Triggered via pull request June 19, 2023 15:53
@proux01proux01
synchronize #24
Status Cancelled
Total duration 5m 28s
Artifacts

nix-action-master.yml

on: pull_request_target
coq-elpi
0s
coq-elpi
mathcomp
0s
mathcomp
mathcomp-bigenough
0s
mathcomp-bigenough
mathcomp-finmap
0s
mathcomp-finmap
mathcomp-tarjan
0s
mathcomp-tarjan
hierarchy-builder
0s
hierarchy-builder
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
coq
The run was canceled by @proux01.
coq
The operation was canceled.
coq
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/