Skip to content

GHA: Non-analysis workflows requires analysis to pass#853

Merged
natecook1000 merged 2 commits into
mainfrom
t/main/run_soundness-first
Mar 20, 2026
Merged

GHA: Non-analysis workflows requires analysis to pass#853
natecook1000 merged 2 commits into
mainfrom
t/main/run_soundness-first

Conversation

@bkhouri

@bkhouri bkhouri commented Jan 15, 2026

Copy link
Copy Markdown
Contributor

In order to prevent CI resources, run the "analysis" workflows first. If, and only if, they all pass, run other workflows that build and test the project.

This ensure we don't build when an analysis workflow will require the PR to be updated.

Checklist

  • I've added at least one test that validates that my change is working, if appropriate
  • I've followed the code style of the rest of the project
  • I've read the Contribution Guidelines
  • I've updated the documentation if necessary

bkhouri and others added 2 commits January 14, 2026 22:33
In order to prevent CI resources, run the "analysis" workflows first. If,
and only if, they all pass, run other workflows that build and test the
project.

This ensure we don't build when an analysis workflow will require the PR
to be updated.
@natecook1000 natecook1000 marked this pull request as ready for review March 20, 2026 19:38
@natecook1000

Copy link
Copy Markdown
Member

It looks like the quick checks take about a minute, so this shouldn't prolong testing by much to gate the longer checks. Thanks, @bkhouri!

@natecook1000 natecook1000 enabled auto-merge (squash) March 20, 2026 19:40
@natecook1000 natecook1000 merged commit e4f8f4a into main Mar 20, 2026
38 checks passed
@natecook1000 natecook1000 deleted the t/main/run_soundness-first branch March 20, 2026 19:48
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.

2 participants