Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
POTTIER Francois
menhir
Pipelines
#221429
Add [Invariant.Long], which computes as much information as possible
about the known suffix of the stack. (Currently unused.)
2 jobs for
master
in 57 seconds
ed4c48f7
No related merge requests found.
Pipeline
Needs
Jobs
2
Tests
0
Status
Job ID
Name
Coverage
Test
passed
#1005629
pages
00:00:57
Mar 03, 2021
Deploy
passed
#1005632
external
pages:deploy
00:00:00
Mar 03, 2021