Skip to content

MIP-0086: ci: a ci-ok job that needs every other job, for ci-rule - #113

Merged
brunogbv merged 3 commits into
mainfrom
mip-0086/ci-ok
Oct 13, 2026
Merged

brunogbv merged 3 commits into
mainfrom
mip-0086/ci-ok

Conversation

@brunogbv

Copy link
Copy Markdown
Collaborator
  • ci: a ci-ok job that needs every other job, for ci-rule
  • ci: run the python, static and agents checks inside the CI workflow, under ci-ok
  • docs: point at the CI workflow that now runs python/static/agents

brunogbv and others added 3 commits October 14, 2026 00:47
ci-rule will require this one check in every marola repo, with no bypass actors
(marola-dev/marola#787). It passes when every needed job passed or was skipped.

Closes #111

Tested: actionlint; YAML parses; needs lists every job
Co-Authored-By: Claude <[email protected]>
…under ci-ok

ci-ok is the one check ci-rule will require (marola-dev/marola#787); a gate in another workflow
would not block a merge.

Tested: actionlint; YAML parses; needs lists every job
Co-Authored-By: Claude <[email protected]>
Tested: git grep finds no stale reference; docs_lint.py
Co-Authored-By: Claude <[email protected]>
@github-actions github-actions Bot changed the title mip 0086/ci ok MIP-0086: ci: a ci-ok job that needs every other job, for ci-rule Oct 13, 2026
@brunogbv
brunogbv merged commit 2f26b68 into main Oct 13, 2026
8 checks passed
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