Kacper Michajłow
ff7365b13c
ci: run lightweight jobs on ubuntu-slim
...
ubuntu-slim is a single vCPU container runner meant for short jobs.
2026-09-23 14:46:07 +02:00
dependabot[bot]
dde8d8c4a0
ci: bump actions/checkout from 6 to 7
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 6 to 7.
- [Release notes](https://github.com/actions/checkout/releases )
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md )
- [Commits](https://github.com/actions/checkout/compare/v6...v7 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '7'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-06-21 12:36:13 +02:00
Kacper Michajłow
efe8644a93
github/workflows/docs: update package index to fix install failures
...
When index is outdated some files may not exist, when we try to install
them.
2026-06-20 23:30:14 +02:00
Kacper Michajłow
9483d6e12f
ci: cancel pr jobs after new push
...
github.head_ref is only defined for pull_request event, so only those
will be grouped, the rest will fallback to unique run_id, so we neither
cancel them or serialize.
2026-01-10 02:48:15 +01:00
Kacper Michajłow
72dbcf119a
ci: update some github actions
2025-11-30 17:50:10 +01:00
Kacper Michajłow
6735d0c7d0
github/workflows: don't install recomended packages with apt
2025-03-05 13:13:47 +01:00
Dudemanguy
4179d58389
github/workflows: generate html and pdf in docs job as well
...
Not sure if this is particularly useful, but we might as well generate
these as well. Also use the docutils wrapper since that's what the meson
build does.
2024-03-06 22:49:07 +00:00
Kacper Michajłow
7b67b1ddd3
github/workflows: update actions package versions
2024-01-26 03:28:55 +00:00
Dudemanguy
49286209a0
github/workflows: rename the job for the docs check
...
Copy and pasted from commit msg lint obviously, but I forgot to rename
it. Oops. Capitalize the name field while I'm at it (seems like all the
other workflows do it too).
2023-09-24 13:52:50 -05:00
Dudemanguy
3140f921dd
github/workflows: add a workflow to check doc changes
...
Should hopefully avoid any accidents with stray characters and other
things. Only needs to run if something within DOCS changes.
2023-09-24 18:11:07 +00:00