Merge branch 'dev' into 'main'

Make sure to pull changes in CI

See merge request !4

.gitlab-ci.yml

@@ -9,6 +9,7 @@ production:
     # Switch to main branch
     - git fetch origin main
     - git checkout main
+    - git pull
 
     # Build for production
     - npm run build
@@ -45,6 +46,7 @@ pages:
     # Switch to dev branch
     - git fetch origin dev
     - git checkout dev
+    - git pull
 
     # Build for GitLab Pages
     - npm run build-gitlab