Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
general
stups
ProB 2 Jupyter Kernel
Pipelines
#82071
Use new getters for properties/invariant/assertions in :check
1 job for
master
in 2 minutes and 2 seconds (queued for 2 seconds)
b3a5138b
No related merge requests found.
Pipeline
Needs
Jobs
1
Tests
0