.github · nixpkgs · Tangled

Sign in Join now

nixpkgs niklaskorz.eu /

Star Starred Star 0

Something went wrong. Try again.

Watch Watching Watch

Nix Packages collection & NixOS github.com/NixOS/nixpkgs

Star Starred Star 0

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

nixpkgs /.github

3 folders · 7 files

dependabot[bot] · .github: Bump cachix/install-nix-action from 31.11.2 to 31.11.3 · 2w ago

.github: Bump actions/checkout in /.github/actions/checkout

.github/ISSUE_TEMPLATE: request a minimal flake.nix

.github: Bump cachix/install-nix-action from 31.11.2 to 31.11.3

.github/dependabot.yml: run on .github/actions/*/* too

labeler-development-branches.yml

labeler-no-sync.yml

.github/labeler-no-sync: Remove `backport release-25.11`

misc: update labeler following Coq -> Rocq renaming

PULL_REQUEST_TEMPLATE.md

.github/PULL_REQUEST_TEMPLATE: reorder checkboxes (#572612)

Reapply "ci: update pinned"