d9483f89ad
workflows: limit permissions to reading repo contents
...
Move the existing docs permissions stanza to the top of the workflow for
consistency.
2021-07-28 18:32:04 -04:00
b8cca6cef1
*: rename master branch to main
2021-05-07 16:55:03 +02:00
9567a0e91c
workflow/release: further refinements
...
This tweaks the release GH workflow further so that it only triggers
when the `configure.ac` file (which owns the version) changes.
Plus it properly checkouts the PR branch to avoid wrongly looking
at a synthetic merge commit.
2020-11-18 10:24:32 +00:00
ee57fe2821
workflows/release: pattern-match on PR title
...
This adds an additional condition in order to run sanity check all
PRs starting with `Release` (case-insensitive).
2020-11-16 17:13:47 +00:00
0d0eb4715b
ci: run ci-release-build.sh on GitHub
...
This adds a GitHub action in order to run ci-release-build.sh on
release PRs (detected via the `kind/release` label).
2020-11-16 11:14:40 +00:00
Benjamin Gilbert
Timothée Ravier
Luca BRUNO