Skip to content

Run the full validation pipeline on pull requests#443

Merged
DeusData merged 4 commits into
mainfrom
add-pr-ci
Jun 12, 2026
Merged

Run the full validation pipeline on pull requests#443
DeusData merged 4 commits into
mainfrom
add-pr-ci

Conversation

@DeusData

Copy link
Copy Markdown
Owner

Adds the PR validation workflow (security + lint + tests + builds + smoke + ci-ok summary) and extends CodeQL to pull requests. With branch protection requiring dco + ci-ok, every merge — including by admins — needs a fully green pipeline and signed commits.

This PR is itself the first end-to-end run of that gate.

DeusData added 3 commits June 12, 2026 14:39
Pull requests now execute the dry-run chain (security including the
license gates, lint, full test suite, all build legs, smoke) plus a
single ci-ok summary job that fails unless every stage succeeded.
Branch protection requires dco + ci-ok, so nothing unverified can merge
— including from admins. CodeQL also runs on pull requests so the
security island completes on PR commits.

Signed-off-by: Martin Vogel <martin.vogel@datadice.io>
Pull requests run the security island only — static audit, license
gates, and the CodeQL gate plus the ci-ok summary; the full dry-run
chain (lint/test/build/smoke) stays maintainer-driven via
workflow_dispatch. The CodeQL gate now resolves the PR head SHA instead
of the synthetic merge commit so it can find the analysis run.

Signed-off-by: Martin Vogel <martin.vogel@datadice.io>
PRs now run security gates, lint, and the full test suite (perf
assertions excluded — they stay in dry runs and releases where a
timing-flaky red cannot block a merge). Builds, smoke and soak remain
maintainer-driven.

Signed-off-by: Martin Vogel <martin.vogel@datadice.io>
@DeusData DeusData enabled auto-merge (rebase) June 12, 2026 12:44
It names license identifiers in its verdict maps by design — the same
documented false-positive category as the other license tooling.

Signed-off-by: Martin Vogel <martin.vogel@datadice.io>
@DeusData DeusData disabled auto-merge June 12, 2026 12:47
@DeusData DeusData merged commit b129aab into main Jun 12, 2026
14 checks passed
@DeusData DeusData deleted the add-pr-ci branch June 12, 2026 13:57
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