From 6cb6e575920613c2aefca22c06764a098521cf5b Mon Sep 17 00:00:00 2001 From: Dario Nieuwenhuis Date: Mon, 29 May 2023 18:49:50 +0200 Subject: CI fixes. --- .github/ci/rust.sh | 1 - 1 file changed, 1 deletion(-) (limited to '.github/ci') 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 -- cgit