CI fixes.

This commit is contained in:
Dario Nieuwenhuis 2023-05-29 18:49:50 +02:00
parent 760a32246a
commit 6cb6e57592
2 changed files with 1 additions and 2 deletions

1
.github/ci/rust.sh vendored
View file

@ -1,5 +1,4 @@
#!/bin/bash
## on push branch=main
## on push branch~=gh-readonly-queue/main/.*
## on pull_request

View file

@ -2,7 +2,7 @@ name: Docs
on:
push:
branches: [master]
branches: [main]
env:
BUILDER_THREADS: '1'