Skip to content

GitLab

Remove redundant `%I` scopes in definitions.

4 jobs for ci/robbert/I in 14 minutes and 52 seconds (queued for 1 second)
5dff121a
1 related merge request: !457 Remove redundant `%I` scopes in definitions.
Status Job ID Name Coverage
  Build
passed #72241
fp
build-coq.8.10.2

00:08:09

passed #72240
fp-timing
build-coq.8.11.1

00:06:44

passed #72239
fp
build-coq.8.11.dev

00:14:52

passed #72242
fp
build-coq.8.9.1

00:07:40