Skip to content

GitLab

Remove leftover comments.

2 jobs for ci/janno/vmcast in 15 minutes and 45 seconds (queued for 2 seconds)
1843d0c1
1 related merge request: !10 Use `<:` (VMcast) for instances of `exact I` in lang/tactics.v
Status Job ID Name Coverage
  Build
passed #9068
fp
build-coq.8.6.1

00:15:45

passed #9067
fp-timing
build-coq.8.7.1

00:12:08