new docu

rugonzs · Jun 3, 2023 · 22d86d7 · 22d86d7
1 parent aa841e7
commit 22d86d7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 54 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -1,8 +1,6 @@
 name: docs
 on:
-  push:
-    branches:
-      - miss
+  push
 
 jobs:
   docs:

diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml