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
Repository
ed113767f68ea97087e2422f8e50bfd85e2aabfa
Switch branch/tag
prob_rodin_plugin
.gitlab-ci.yml
Find file
Blame
History
Permalink
Remove probably unneeded mavenrc delete command from .gitlab-ci.yml
· ed113767
dgelessus
authored
Jun 29, 2021
ed113767
Validating GitLab CI configuration…
Learn more
dgelessus authoreded113767