[CI] Add Coq 8.19 #2
proux01
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-8.17.yml
on: pull_request
coq
1m 1s
graph-theory
53s
coqeal
55s
mathcomp-infotheo
54s