Skip to content

GitLab

I
Iris

make variable names a bit more consistent between Coq and LaTeX

6 jobs for master in 13 minutes and 48 seconds (queued for 21 seconds)
ce20ffb1 ce20ffb16fefdbf9a833b78ca3f55b472a09e73e
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #34212
fp
build-coq.8.10.dev

00:11:54

passed #34216
fp
build-coq.8.7.2

00:05:15

passed #34215
fp
build-coq.8.8.2

00:06:01

passed #34214
fp-timing
build-coq.8.9.0

00:05:30

passed #34213
fp
build-coq.8.9.1

00:06:29

passed #34211
fp
build-coq.dev

00:13:13