Rm notation 2 in signed.v #2051
Triggered via pull request
September 25, 2023 07:38
proux01
Status
Success
Total duration
35m 16s
Artifacts
–
nix-action-8.15.yml
on: pull_request
coq
27s
mathcomp-analysis
10m 32s
mathcomp-analysis-single
10m 32s