5 Commits

Author	SHA1	Message	Date
Benjamin Gilbert	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
Timothée Ravier	b8cca6cef1	*: rename master branch to main	2021-05-07 16:55:03 +02:00
Luca BRUNO	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
Luca BRUNO	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
Luca BRUNO	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