Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
stdpp
Pipelines
#40316
Fix compilation with Coq 8.10 (which has a weaker `lia`).
4 jobs for
ci/robbert/seq_S
in 8 minutes and 29 seconds (queued for 1 second)
d7732dcb
1 related merge request:
!212 Rename `seq_S_snoc` into `seq_S` to be consistent with Coq's stdlib
Pipeline
Needs
Jobs
4
Tests
0