Mentions légales du service

Skip to content
Snippets Groups Projects

feat(images.yml): Support coq 8.18 for mathcomp 1.x

Passed
Coq Bot created pipeline for commit 7471c683
, finished
For master
Child pipeline ( parent )
2 jobs 16 minutes 42 seconds, queued for 2 seconds