diff options
author | Loïc Hoguin <[email protected]> | 2024-03-21 13:58:33 +0100 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2024-03-21 14:09:15 +0100 |
commit | 07e38e3b80bcd50a8f48c3498b8cb2a8ab680051 (patch) | |
tree | 0cee91e945b8096060d28201417bfe16e6c4bfc6 | |
parent | 2ab00e3be3f7b97fcb0770dccdccfde9bcd6d800 (diff) | |
download | ci.erlang.mk-07e38e3b80bcd50a8f48c3498b8cb2a8ab680051.tar.gz ci.erlang.mk-07e38e3b80bcd50a8f48c3498b8cb2a8ab680051.tar.bz2 ci.erlang.mk-07e38e3b80bcd50a8f48c3498b8cb2a8ab680051.zip |
Handle COWBOY_QUICER and GUN_QUICER
I don't like adding them here but I don't know how to do otherwise.
-rw-r--r-- | .github/workflows/ci.yaml | 2 | ||||
-rw-r--r-- | .github/workflows/unix-ci.yaml | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 5376108..ea776cb 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -8,6 +8,8 @@ on: env: CI_ERLANG_MK: 1 AUTO_CI_MASTER: weekly + COWBOY_QUICER: ${{ vars.COWBOY_QUICER || 0 }} + GUN_QUICER: ${{ vars.GUN_QUICER || 0 }} jobs: diff --git a/.github/workflows/unix-ci.yaml b/.github/workflows/unix-ci.yaml index acb2014..6a4d92f 100644 --- a/.github/workflows/unix-ci.yaml +++ b/.github/workflows/unix-ci.yaml @@ -22,6 +22,8 @@ on: env: CI_ERLANG_MK: 1 AUTO_CI_MASTER: weekly + COWBOY_QUICER: ${{ vars.COWBOY_QUICER || 0 }} + GUN_QUICER: ${{ vars.GUN_QUICER || 0 }} jobs: |