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 Rodin Plugin
Commits
Commit
2a34250e
authored
Jun 29, 2021
by
dgelessus
Browse files
Switch from Travis CI to GitLab CI
parent
cf9bcf56
Pipeline
#64620
failed with stages
in 8 seconds
Changes
2
Pipelines
1