Mentions légales du service

Skip to content

Update CI image

Guillaume Melquiond requested to merge update-ci into master

In particular, this makes OCaml 4.13 part of latest and Coq 8.13 part of full.

Merge request reports