diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-05-29 18:49:50 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-05-29 18:49:50 +0200 |
| commit | 6cb6e575920613c2aefca22c06764a098521cf5b (patch) | |
| tree | 7bbcae2430f63b9a64d85fd633a9862fec78eeed /.github/workflows | |
| parent | 760a32246a7798f23761533b274e4015ca913129 (diff) | |
CI fixes.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/doc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index b4e225e64..a69a49718 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml | |||
| @@ -2,7 +2,7 @@ name: Docs | |||
| 2 | 2 | ||
| 3 | on: | 3 | on: |
| 4 | push: | 4 | push: |
| 5 | branches: [master] | 5 | branches: [main] |
| 6 | 6 | ||
| 7 | env: | 7 | env: |
| 8 | BUILDER_THREADS: '1' | 8 | BUILDER_THREADS: '1' |