Skip to content

Modernization series (1/8): pin the Nix dev shell + minimal CI - #188

Open
JPHutchins wants to merge 1 commit into
s-zeng:masterfrom
JPHutchins:modernize/01-nix
Open

Modernization series (1/8): pin the Nix dev shell + minimal CI#188
JPHutchins wants to merge 1 commit into
s-zeng:masterfrom
JPHutchins:modernize/01-nix

Conversation

@JPHutchins

Copy link
Copy Markdown

I'd like to help continue maintaining dhall-python, so I've created a modernization patch series to improve compatibility, compliance, performance, and test coverage.

This is the first PR in the series, kept small: pin the Nix dev shell to a fixed nixpkgs revision, and add a minimal CI workflow that runs across the series. More PRs are stacked to follow.

Warning

LLM Disclosure

This post was authored by claude-opus-4-8[1m] on behalf of @JPHutchins, who is proposing to continue maintaining dhall-python via a modernization patch series; this is the first PR (Nix pin + minimal CI).

shell.nix:
- pin nixpkgs to a fixed nixos-25.05 revision (rev + sha256) instead of
  the mutable refs/tags/22.11 tarball
- rename the removed `pkgconfig` alias to `pkg-config`; drop the
  `darwin.apple_sdk.frameworks.Security` stub (a no-op in 25.05)

.github/workflows/ci.yml (replacing the unmaintained Dhall generator:
builder.dhall, ci.dhall, helpers.dhall, schema.dhall):
- unfiltered `pull_request` trigger so CI runs on the whole stacked
  series, not only PRs targeting master
- one ubuntu job: build with poetry + maturin and run pytest
- kept intentionally small; the workflow tracks the tooling as the stack
  modernizes it (uv at #2, camas at #7)

Co-Authored-By: claude-opus-4-8[1m] <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019JtM6kqpbjzQB5CVosa5pt
@JPHutchins

Copy link
Copy Markdown
Author

Full PR series is here: https://github.com/JPHutchins/dhall-python/pulls

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant