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
Iris
Pipelines
#31447
add some missing changelog entries and expand sed script
2 jobs for
master
in 22 minutes and 18 seconds (queued for 5 seconds)
fea0c2de
No related merge requests found.
Pipeline
Needs
Jobs
2
Tests
0
Status
Job ID
Name
Coverage
Build
passed
#79725
fp
build-stdpp.dev-coq.8.11.2
00:13:17
Jul 15, 2020
passed
#79726
fp
build-stdpp.dev-coq.dev
00:22:17
Jul 15, 2020