Skip to content

GitLab

Commit 89c397b1 authored by georg's avatar georg
Browse files
Options

Merge branch 'main-is-main-in-gitlabci' into 'main' 

Make gitlab ci use main as main branch.

See merge request !100
parents 0e48de6c 5ffb5430
Pipeline #55905 passed with stages
      in 44 seconds