diff --git a/.github/workflows/deploy-website.yaml b/.github/workflows/deploy-website.yaml index ffd60150..ab6e4121 100644 --- a/.github/workflows/deploy-website.yaml +++ b/.github/workflows/deploy-website.yaml @@ -1,10 +1,8 @@ name: Update `error-prone.picnic.tech` website contents on: push: - #branches: [$default-branch] branches: - - 'sschroevers/deploy-to-github-pages' - - 'gdejong/docgen' + - 'gdejong/docgen_old' workflow_dispatch: permissions: contents: read