From 6cb6e575920613c2aefca22c06764a098521cf5b Mon Sep 17 00:00:00 2001 From: Dario Nieuwenhuis Date: Mon, 29 May 2023 18:49:50 +0200 Subject: [PATCH] CI fixes. --- .github/ci/rust.sh | 1 - .github/workflows/doc.yml | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/ci/rust.sh b/.github/ci/rust.sh index af7f336c1..db1fc8538 100755 --- a/.github/ci/rust.sh +++ b/.github/ci/rust.sh @@ -1,5 +1,4 @@ #!/bin/bash -## on push branch=main ## on push branch~=gh-readonly-queue/main/.* ## on pull_request 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 on: push: - branches: [master] + branches: [main] env: BUILDER_THREADS: '1'