Update workflows

This commit is contained in:
2023-03-24 17:17:12 +01:00
parent d2d27832f9
commit 92f7823576
2 changed files with 3 additions and 2 deletions

View File

@@ -1,4 +1,4 @@
name: website
name: Deploy website
# build the documentation whenever there are new commits on main
on: