Skip to content

GitLab

test tele_app notation

2 jobs for !342 with ralf/drop-8.10 in 4 minutes and 32 seconds (queued for 10 seconds)
latest merge request
e7613555
1 related merge request: !342 drop support for Coq 8.10