Skip to content

CI: ensure reproducible github-script typechecks - #475

Merged
hanazuki merged 1 commit into
masterfrom
fix-gh-script
Aug 15, 2026
Merged

CI: ensure reproducible github-script typechecks#475
hanazuki merged 1 commit into
masterfrom
fix-gh-script

Conversation

@hanazuki

Copy link
Copy Markdown
Owner

The workspace requested github-script v9 while the lockfile still recorded v7, allowing npm version changes to select different dependency graphs. Refresh the v9 graph, install it with npm ci, and ignore diagnostics originating in third-party declarations.

Fixup: #430

The workspace requested github-script v9 while the lockfile still
recorded v7, allowing npm version changes to select different
dependency graphs. Refresh the v9 graph, install it with npm ci, and
ignore diagnostics originating in third-party declarations.

Fixup: #430
Assisted-by: Codex:gpt-5.6-sol
@hanazuki
hanazuki merged commit 178836e into master Aug 15, 2026
13 checks passed
@hanazuki
hanazuki deleted the fix-gh-script branch August 15, 2026 02:36
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