diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-24 08:20:42 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-24 08:28:43 +0200 |
commit | 2cf5ad9ea9b1c7edb77f5c3e42935d73d041f1f9 (patch) | |
tree | f6c812b11b82e74f0ed43cb7eacc28f91b3b73cd /editor/editor_help.h | |
parent | 422a2da8c7c2d973e391703ea0c0249b2c6fa4c5 (diff) |
CI: Fix cache key and include base branch
The base branch is hardcoded as an env variable as I couldn't find a simple
way to just get either `3.2` or `master`. But it's easy to change when we
branch off from `master` to a new stable branch, which doesn't happen often.
(There's `{{github.base_ref}}` but it's probably more verbose like
`ref/heads/master`, and only valid for PRs.)
Diffstat (limited to 'editor/editor_help.h')
0 files changed, 0 insertions, 0 deletions