Skip to content

Cleanup

Cleanup #16

Workflow file for this run

name: Deploy pages
on: [release, push]
jobs:
release_pages:
name: push new content to gh-pages
runs-on: ubuntu-22.04
steps:
- name: Checkout main
uses: actions/checkout@v2
- name: deploy
uses: mhausenblas/[email protected]
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}