Merge branch 'main' into dev

This commit is contained in:
Veronica Berglyd Olsen
2023-06-01 15:26:08 +02:00
4 changed files with 7 additions and 10 deletions
+1 -1
View File
@@ -2,7 +2,7 @@ name: Linux
on:
push:
branches:
branches:
- main
- dev
pull_request: