Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
stdpp
Pipelines
#40669
fix and reject warnings on Coq 8.13
5 jobs for
ci/ralf/warnings
in 10 minutes and 7 seconds (queued for 3 seconds)
e7a7f588
1 related merge request:
!214 fix and reject warnings on Coq 8.13
Pipeline
Needs
Jobs
5
Tests
0
Status
Job ID
Name
Coverage
Build
passed
#110351
fp
build-coq.8.10.2
00:05:29
Jan 19, 2021
passed
#110350
fp
build-coq.8.11.2
00:05:11
Jan 19, 2021
passed
#110349
fp-timing
build-coq.8.12.2
00:04:10
Jan 19, 2021
passed
#110348
fp
build-coq.8.13.0
00:04:55
Jan 19, 2021
passed
#110347
fp
build-coq.dev
00:10:06
Jan 19, 2021