Commit Graph

1698 Commits

Author SHA1 Message Date
Théo Zimmermann
e49e695680 misc: update labeler following Coq -> Rocq renaming 2026-08-18 15:39:38 +02:00
Matt Sturgeon
31be06a348 ci/github-script: prep for typescript, convert check-target-branch (#550500) 2026-08-11 00:40:25 +00:00
Michael Daniels
2496d47b76 ci/github-script/check-target-branch: convert to TypeScript
Only doing this one for now as a proof-of-concept.
2026-08-10 20:26:01 -04:00
Michael Daniels
d09d53e1c5 .github/dependabot.yml: run on .github/actions/*/* too
Co-authored-by: Matt Sturgeon <matt@sturgeon.me.uk>
2026-08-10 18:27:39 -04:00
Michael Daniels
632c05cddc .github/actions/checkout: bump actions/github-script from 8 to 9 2026-08-08 10:34:26 -04:00
Ihar Hrachyshka
830255b283 .github: avoid full checkout on backport
The backport action should work with a sparse tree, so materializing all
files is just wasteful.

Since total time allocated for backport jobs is just 3 mins, sometimes a
slow worktree checkout consumes a good chunk of it and pushes the job to
timeout, resulting in missed backport. See for example:

https://github.com/NixOS/nixpkgs/actions/runs/30587897004/job/91023481883
2026-07-30 20:03:42 -04:00
Philip Taron
efa8264ee0 Revert ".github: Bump actions/checkout from 6.0.3 to 7.0.1" 2026-07-27 13:23:38 -07:00
Philip Taron
4b0320094b .github: Bump actions/checkout from 6.0.3 to 7.0.1 (#545205) 2026-07-27 20:04:22 +00:00
dependabot[bot]
121838ea38 .github: Bump actions/labeler from 6.2.0 to 7.0.0
Bumps [actions/labeler](https://github.com/actions/labeler) from 6.2.0 to 7.0.0.
- [Release notes](https://github.com/actions/labeler/releases)
- [Commits](b8dd2d9be0...bf12e9b00b)

---
updated-dependencies:
- dependency-name: actions/labeler
  dependency-version: 7.0.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-07-24 11:22:52 +00:00
dependabot[bot]
7079e863e7 .github: Bump actions/checkout from 6.0.3 to 7.0.1
Bumps [actions/checkout](https://github.com/actions/checkout) from 6.0.3 to 7.0.1.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](df4cb1c069...3d3c42e5aa)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: 7.0.1
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-07-24 11:22:46 +00:00
Matt Sturgeon
e4a4855697 ci/pinned: bump nixpkgs (#544224) 2026-07-22 13:20:37 +00:00
Michael Daniels
4a45de05bd workflows: appease zizmor by installing npm pkgs from lockfile 2026-07-21 19:30:53 -04:00
klea
9322705190 workflows: Node 24 is now the default
https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Says they updated the migration date to 2026-06-16.
2026-07-20 09:10:13 +00:00
dependabot[bot]
942be243bd .github: Bump cachix/install-nix-action from 31.10.7 to 31.11.0
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 31.10.7 to 31.11.0.
- [Release notes](https://github.com/cachix/install-nix-action/releases)
- [Changelog](https://github.com/cachix/install-nix-action/blob/master/RELEASE.md)
- [Commits](a49548c11d...630ae543ea)

---
updated-dependencies:
- dependency-name: cachix/install-nix-action
  dependency-version: 31.11.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-07-17 11:22:54 +00:00
Michael Daniels
1402b5012c workflows/{check,lint}: prevent git timeouts 2026-07-11 18:58:40 -04:00
Michael Daniels
ffc7f8ce99 .github: Bump cachix/install-nix-action from 31.10.6 to 31.10.7 (#540295) 2026-07-11 00:24:46 +00:00
Michael Daniels
35d71d94a6 .github: Bump actions/labeler from 6.1.0 to 6.2.0 (#540296) 2026-07-10 22:52:41 +00:00
dependabot[bot]
58b83392e9 .github: Bump actions/labeler from 6.1.0 to 6.2.0
Bumps [actions/labeler](https://github.com/actions/labeler) from 6.1.0 to 6.2.0.
- [Release notes](https://github.com/actions/labeler/releases)
- [Commits](f27b608878...b8dd2d9be0)

---
updated-dependencies:
- dependency-name: actions/labeler
  dependency-version: 6.2.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-07-10 11:22:52 +00:00
dependabot[bot]
53c53d5d5b .github: Bump cachix/install-nix-action from 31.10.6 to 31.10.7
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 31.10.6 to 31.10.7.
- [Release notes](https://github.com/cachix/install-nix-action/releases)
- [Changelog](https://github.com/cachix/install-nix-action/blob/master/RELEASE.md)
- [Commits](8aa03977d8...a49548c11d)

---
updated-dependencies:
- dependency-name: cachix/install-nix-action
  dependency-version: 31.10.7
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-07-10 11:22:46 +00:00
Gerhard Schwanzer
ea1628f4e7 actions/checkout: retry transient API failures
Retry transient GitHub API failures when resolving ci/pinned.json so unrelated PR jobs can continue.

Assisted-by: pi coding agent / Mika (OpenAI gpt-5.6-sol)
2026-07-10 10:47:08 +02:00
dependabot[bot]
39762b3336 .github: Bump korthout/backport-action from 4.5.2 to 4.6.0
Bumps [korthout/backport-action](https://github.com/korthout/backport-action) from 4.5.2 to 4.6.0.
- [Release notes](https://github.com/korthout/backport-action/releases)
- [Commits](6606540695...2e830a1d0b)

---
updated-dependencies:
- dependency-name: korthout/backport-action
  dependency-version: 4.6.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-07-03 11:22:48 +00:00
yaya
fd782901e5 .github/labeler-no-sync: Remove backport release-25.11
NixOS 25.11 is end-of-life.
2026-07-01 13:55:42 +02:00
yaya
976c1f007e .github/workflows: Remove 25.11 workflows
NixOS 25.11 is end-of-life.
2026-07-01 13:36:17 +02:00
Michael Daniels
2cf26e8128 workflows/test: test release-supported-systems changes (#536677) 2026-06-29 15:03:59 +00:00
Matt Sturgeon
62d2c2fb9d workflows/test: test release-supported-systems changes 2026-06-29 15:22:20 +01:00
Sizhe Zhao
8f8df99200 .github/ISSUE_TEMPLATE: fix hydra icon links
Reference: 7935cda933
2026-06-28 22:17:16 +08:00
Emily
8ccb319a2e workflows/build: stop building for x86_64-darwin
This will apply to the stable release branches too, but that seems
unavoidable: we use `nixpkgs-unstable` in `ci/pinned.json`, which
means that the development shell for stable release branches is based
on the unstable branch. Once we drop support for a system on the
unstable branch, it can no longer be used for Nixpkgs development on
the next pin, even when targeting already‐released stable branches.

Since Nixpkgs contributors would generally be expected to be less
likely to be using deprecated platforms, and we usually operate with
a backport workflow where changes target the unstable branch first,
this is probably acceptable. A potential alternative would be to pin
the stable branch for CI instead.
2026-06-21 19:22:33 +01:00
Emily
6657df3e12 .github/PULL_REQUEST_TEMPLATE: drop x86_64-darwin checkbox 2026-06-21 19:22:33 +01:00
Aliaksandr
a100d091a0 ci/eval: name the base branch in the performance comparison summary
The performance comparison summary previously stated it compared against
"its pull request base branch (e.g., 'master')" regardless of the actual
base branch.

Plumb the base branch classification computed in prepare.js through the
eval workflow to the `compare` derivation so the summary names the real
base branch (e.g. "staging-25.11"). The local `eval.full` helper defaults
to "master", matching its touched-files convention.

Assisted-by: claude-code with claude-opus-4-8[1m]-high
2026-06-17 01:08:45 +03:00
Hythera
8bbed87799 workflows/teams: fix execution day of comment 2026-06-08 22:41:22 +02:00
dependabot[bot]
d90a8da39f .github: Bump actions/checkout from 6.0.2 to 6.0.3
Bumps [actions/checkout](https://github.com/actions/checkout) from 6.0.2 to 6.0.3.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](de0fac2e45...df4cb1c069)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: 6.0.3
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-06-05 11:22:54 +00:00
Jo
0578ce5efe .github/ISSUE_TEMPLATE: Mark 26.05 stable (#525934) 2026-05-30 14:19:13 +00:00
yaya
2b4a48d545 .github/ISSUE_TEMPLATE: Mark 26.05 stable 2026-05-30 14:21:21 +02:00
zowoq
420f10510b .github/labeler.yml: add staging-nixos to workflow backport
follow up from 10056dd40d
2026-05-30 11:00:00 +10:00
zowoq
07e2efea6e linux: add stable staging-nixos workflow (#525070) 2026-05-29 22:19:47 +00:00
zowoq
10056dd40d linux: add stable staging-nixos workflow
stable counterpart to d28cc2a2f5
2026-05-28 09:42:28 +10:00
Malix - Alix Brunet
5eebcdb3e1 treewide: update nix-darwin link 2026-05-27 20:26:42 +02:00
Martin Weinelt
1cf127e528 workflows: migrate from app-id to client-id
See https://github.com/actions/create-github-app-token/releases/tag/v3.1.0.
2026-05-26 03:06:17 +02:00
Wolfgang Walther
5439176950 workflows/periodic-merge: update haskell-updates PR's base branch
This gives us better UI in the PR by hiding the commits that are already
on the base branch (mostly staging) after the periodic merge. Without
this, the PR has 100s of commits listed after a few days.
2026-05-25 00:02:51 +02:00
Wolfgang Walther
fe5cea9c90 workflows/periodic-merge: allow testing in forks
Manually dispatching in your fork should still trigger the workflow to
test.
2026-05-24 19:00:02 +02:00
Fernando Rodrigues
556e57ad06 ISSUE_TEMPLATE: deprecate (#521074) 2026-05-24 15:55:03 +00:00
Jo
56298ea069 .github: Add release-26.05 CI config (#523610) 2026-05-24 12:56:15 +00:00
yaya
41a5348c15 .github: Add release-26.05 CI config 2026-05-24 14:51:41 +02:00
yaya
ca22d15bca doc: Update for 26.11 2026-05-24 14:42:27 +02:00
Malix - Alix Brunet
65e5f6f635 ISSUE_TEMPLATE: deprecate 2026-05-23 16:30:57 +02:00
Alyssa Ross
d18b8f3238 CONTRIBUTING.md: establish initial automation/AI/LLM policy (#514587) 2026-05-18 15:09:01 +00:00
Michael Daniels
092416be16 github/workflows: build nixos manual on PRs targeting staging-nixos (#509875) 2026-05-17 21:15:21 +00:00
Michael Daniels
6acad97b9c ci/github-script: update npm versions (#520661) 2026-05-17 18:47:56 +00:00
Michael Daniels
8a89d7a286 ci/github-script: update npm versions 2026-05-17 14:41:57 -04:00
Michael Daniels
f572465c7a workflows/pull-request-target: don't try to use secrets in pull_request context on Dependabot PRs
Secrets can't be accessed on dependabot PRs (https://github.com/dependabot/dependabot-core/issues/3253#issuecomment-852541544), so don't try.

(This should be the only change needed, as all other uses of secrets seem to
be conditioned on pull_request not being the current event.)

Fixes (e.g.) https://github.com/NixOS/nixpkgs/actions/runs/25553044633/job/75065769199?pr=518033
2026-05-15 20:32:58 -04:00