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/ci | |
| parent | 760a32246a7798f23761533b274e4015ca913129 (diff) | |
CI fixes.
Diffstat (limited to '.github/ci')
| -rwxr-xr-x | .github/ci/rust.sh | 1 |
1 files changed, 0 insertions, 1 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 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash |
| 2 | ## on push branch=main | ||
| 3 | ## on push branch~=gh-readonly-queue/main/.* | 2 | ## on push branch~=gh-readonly-queue/main/.* |
| 4 | ## on pull_request | 3 | ## on pull_request |
| 5 | 4 | ||