Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Vegard Murvold Sporstøl
TDT4242-group15
Pipelines
#113342
Merge branch 'master' into 'dev'
Merge new master to dev See merge request
!3
1 job for
dev
in 27 seconds (queued for 1 second)
latest
77435bfb
No related merge requests found.
Pipeline
Needs
Jobs
1
Tests
0