Merge pull request #384 from proux01/drop_coq_815 #9
CohenCyril
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-coq-8.18.yml
on: push
coq
37s
mathcomp-single-planB-src
31s
Verdi
40s
autosubst
34s
coquelicot
39s
mathcomp-bigenough
34s
mathcomp-finmap
30s
reglang
41s
odd-order
33s