jlengrand/error-prone-support
1
0
Fork 0
mirror of https://github.com/jlengrand/error-prone-support.git synced 2026-03-10 08:11:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

gdejong/docgen -> gdejong/docgen_old

Browse Source
This commit is contained in:
japborst
2022-10-10 21:06:24 +02:00
parent 368f70fc98
commit 525df33e42
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/deploy-website.yaml vendored
View File

@@ -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