Merge branch 'main' into quenting/storage-repository

This commit is contained in:
Quentin Gliech authored and GitHub committed 2023-01-27 11:16:38 +01:00
commit 4850c79711
22 files changed
+1124 -1094

No files matched your search

+1 -1
View File
@@ -25,7 +25,7 @@ jobs:
- name: Build the documentation
run: mdbook build
- name: Upload GitHub Pages artifacts
uses: actions/upload-pages-artifact@v1.0.7