Skip to content

Verify dep installers - #35

Merged
rober-m merged 4 commits into
mainfrom
verify-dep-installers
Jul 28, 2026
Merged

Verify dep installers#35
rober-m merged 4 commits into
mainfrom
verify-dep-installers

Conversation

@rober-m

@rober-m rober-m commented Jul 22, 2026

Copy link
Copy Markdown
Member

What

Dependency-installer recipe gate — the real-install tier of the installer CI.

  • .github/workflows/installer-recipes.yml — scheduled (weekly) matrix, one row per installer. For each installer it runs every registry/deps.toml recipe in a native environment and asserts the dep's declared binaries land on PATH. Opens a tracking issue on failure (label installer-recipes).
  • .github/scripts/verify_installers.py — registry-driven driver: discovers recipes from deps.toml (no hardcoding), mirrors Installer::command() for rendering, checks PATH + tool-managed bin dirs.

Complements the PR gate (cargo testcatalog.rs, which proves recipes parse): this proves they still work against the live world (renamed package, moved install script, formula rename).

Related issues

⚠️ Merge order

Merge after #34. This branch is cut from add-scalus, so until #34 lands its diff still carries the Scalus changes. Rebase onto main after #34 merges, then merge — the diff should reduce to just the two files above.

Deferred (documented in the workflow header)

dnf/pacman (no recipes yet), winget/powershell (Windows), and curl (interactive download-and-run scripts) are intentionally excluded so a green run stays meaningful — see #36.

@rober-m rober-m self-assigned this Jul 22, 2026
@rober-m
rober-m requested a review from paulobressan July 22, 2026 13:09
@rober-m
rober-m marked this pull request as ready for review July 22, 2026 13:10
Comment thread .github/scripts/__pycache__/verify_installers.cpython-313.pyc Outdated
@rober-m
rober-m merged commit c2b0e7d into main Jul 28, 2026
11 checks passed
@rober-m
rober-m deleted the verify-dep-installers branch July 28, 2026 17:10
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.

CI: verify doctor install recipes actually work (real-install gate)

2 participants