Skip to content
Snippets Groups Projects

Merge branch 56-change-netids-to-displayname-studentnumber with refs/heads/dev...

Passed
created pipeline for commit 5ce06553
, finished
Related merge request !187 to merge 56-change-netids-to-displayname-studentnumber into dev
4 minutes 27 seconds, queued for 3 seconds