Revert "Merge branch 'master' into master"

This reverts commit 950fbcd, reversing changes made to e1cd881.
FonduemangVI · Jul 3, 2024 · 2a351ba · 2a351ba
1 parent 950fbcd
commit 2a351ba
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 157 deletions.
diff --git a/.github/configs/release-changelog-builder-action.json b/.github/configs/release-changelog-builder-action.json
diff --git a/.github/scripts/update-contributors-backup.js b/.github/scripts/update-contributors-backup.js
diff --git a/.github/workflows/changelog-builder.yml b/.github/workflows/changelog-builder.yml
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -44,7 +44,7 @@ jobs:
         run: mkdocs build
 
   deploy:
-    if: github.event.workflow_run.event == 'push' && contains(fromJson('["master", "main"]'), github.event.workflow_run.head_branch)
+    if: github.event_name == 'push' && contains(fromJson('["refs/heads/master", "refs/heads/main"]'), github.ref)
     needs: build
     name: Deploy docs
     runs-on: ubuntu-latest

diff --git a/docs/stylesheets/neoteroi-mkdocs.css b/docs/stylesheets/neoteroi-mkdocs.css