Commit Graph

8 Commits

Author SHA1 Message Date
Bartosz Taudul
37a7c2c197 Add permissions and concurrency groups to all workflows
Set contents: read permissions on every workflow and add per-workflow
concurrency groups keyed on the git ref to deduplicate concurrent runs.
Release workflow keeps cancel-in-progress: false so a release build is
never canceled; job-level contents: write on attach-to-release is
preserved. Concurrency groups use hardcoded prefixes so reusable
workflows called from release.yml do not inherit the caller workflow
name and collide.
2026-08-09 12:46:40 +02:00
Bartosz Taudul
1dee03e4f2 Rename workflow job names for uniqueness across workflows 2026-03-28 22:30:29 +01:00
Bartosz Taudul
8420a1d7d6 Let's try automatic upload of release artifacts. 2026-02-20 00:27:41 +01:00
Bartosz Taudul
e660821d75 Remove Windows hacks for including license in the manual. 2025-06-07 16:32:06 +02:00
Bartosz Taudul
18f2631e6e Remove AUTHORS file. 2024-03-13 19:14:59 +01:00
Bruce Mitchener
793d1d08c8 ci: Update to current versions of actions.
This should remove the warnings within the GitHub Actions UI about
using the deprecated Node 12 and 16 versions.
2024-02-12 16:50:36 +07:00
Bartosz Taudul
322e39d9ad Terser CI names. 2020-05-06 13:30:01 +02:00
Bartosz Taudul
bcaa07cdb4 Add latex manual CI job. 2020-05-06 02:05:53 +02:00