move to automata pushing & change back the branch rule

This commit is contained in:
2024-05-07 07:50:20 +02:00
parent b03ff6a2be
commit 5c998e8505

View File

@@ -2,7 +2,8 @@ name: Deploy to GitHub Pages
on:
push:
workflow_dispatch:
branches:
- main
jobs:
deploy:
@@ -23,7 +24,7 @@ jobs:
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
github_token: ${{ secrets.AUTOMATA_TOKEN }}
publish_dir: ./dist
user_name: github-actions[bot]
user_email: 41898282+github-actions[bot]@users.noreply.github.com
user_name: sernbot
user_email: ${{ secrets.AUTOMATA_EMAIL }}