summaryrefslogtreecommitdiff
path: root/editor/editor_help.h
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2020-07-24 08:20:42 +0200
committerRémi Verschelde <rverschelde@gmail.com>2020-07-24 08:28:43 +0200
commit2cf5ad9ea9b1c7edb77f5c3e42935d73d041f1f9 (patch)
treef6c812b11b82e74f0ed43cb7eacc28f91b3b73cd /editor/editor_help.h
parent422a2da8c7c2d973e391703ea0c0249b2c6fa4c5 (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