Skip to content
Snippets Groups Projects
Commit 0c4de054 authored by jurgenhaas's avatar jurgenhaas
Browse files

Merge branch 'develop' into 'main'

Update CI configuration

See merge request !2
parents a147f888 f86e30a7
No related branches found
No related tags found
1 merge request!2Update CI configuration
Pipeline #1336536 passed