1
0

Rename complement-developonly (#13046)

This commit is contained in:
Erik Johnston
2022-06-15 16:11:42 +01:00
committed by GitHub
parent 212be2edc1
commit 9ad2197fa7
2 changed files with 3 additions and 0 deletions

View File

@@ -358,6 +358,8 @@ jobs:
if: "${{ !failure() && !cancelled() && (github.ref == 'refs/heads/develop') }}"
needs: linting-done
runs-on: ubuntu-latest
name: "Complement Workers (develop only)"
steps:
# The path is set via a file given by $GITHUB_PATH. We need both Go 1.17 and GOPATH on the path to run Complement.