Skip to content

Add a ci-ok job that summarizes the CI result - #8899

Merged
cknitt merged 1 commit into
masterfrom
ci-ok-gate
Oct 18, 2026
Merged

cknitt merged 1 commit into
masterfrom
ci-ok-gate

Conversation

@cknitt

@cknitt cknitt commented Oct 18, 2026

Copy link
Copy Markdown
Member

Adds a ci-ok job to ci.yml that needs build-compiler, pkg-pr-new, api-docs, test-installation-npm and test-installation-pnpm, and succeeds only when all of them succeeded. It runs with always(), so a failed, skipped or cancelled job makes it fail rather than skip (a skipped required check counts as passed).

After merging, the master ruleset can require ci-ok, changelog and DCO instead of the per-runner check names, so runner moves like #8891 or new jobs no longer need a ruleset change.

🤖 Generated with Claude Code

https://claude.ai/code/session_014rR6jNpVHh7sx7L62iEf4u

The ci-ok job needs build-compiler, pkg-pr-new, api-docs and both
installation test matrices, and succeeds only when all of them succeeded.
The master ruleset can then require ci-ok instead of matrix check names
that contain runner labels, so moving to new runners or adding jobs no
longer needs a ruleset change.

Review: Why always() and not !cancelled()? A skipped required check counts
as passed. With always() the job also runs when a needed job fails, is
skipped or the run is cancelled, and then fails.

Review: Which jobs stay outside the gate? dev-playground runs only on
pushes to master, and test-devcontainer was not required before; neither
blocks a merge.

Area: ci
Output: unchanged
Tests: none, because the CI run on this pull request reports ci-ok
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_014rR6jNpVHh7sx7L62iEf4u
Signed-off-by: Christoph Knittel <ck@cca.io>
@cknitt cknitt added the changelog:skip No release notes needed label Oct 18, 2026
@github-actions

Copy link
Copy Markdown

@cknitt
cknitt requested a review from fhammerschmidt October 18, 2026 11:58
@pkg-pr-new

pkg-pr-new Bot commented Oct 18, 2026

Copy link
Copy Markdown

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript@8899

@rescript/belt

npm i https://pkg.pr.new/@rescript/belt@8899

@rescript/darwin-arm64

npm i https://pkg.pr.new/@rescript/darwin-arm64@8899

@rescript/darwin-x64

npm i https://pkg.pr.new/@rescript/darwin-x64@8899

@rescript/linux-arm64

npm i https://pkg.pr.new/@rescript/linux-arm64@8899

@rescript/linux-x64

npm i https://pkg.pr.new/@rescript/linux-x64@8899

@rescript/runtime

npm i https://pkg.pr.new/@rescript/runtime@8899

@rescript/win32-x64

npm i https://pkg.pr.new/@rescript/win32-x64@8899

commit: 2766b09

@github-actions

Copy link
Copy Markdown

@cknitt
cknitt marked this pull request as ready for review October 18, 2026 12:40
@cknitt
cknitt merged commit b53635a into master Oct 18, 2026
32 of 34 checks passed
@cknitt
cknitt deleted the ci-ok-gate branch October 18, 2026 13:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog:skip No release notes needed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants