Skip to content

Reduce CI time#1311

Open
jschneider-bensch wants to merge 16 commits intomainfrom
jonas/reduce-ci-time
Open

Reduce CI time#1311
jschneider-bensch wants to merge 16 commits intomainfrom
jonas/reduce-ci-time

Conversation

@jschneider-bensch
Copy link
Collaborator

@jschneider-bensch jschneider-bensch commented Feb 2, 2026

This PR aims to reduce CI times by

  • removing the on.push triggers for main, which cause workflows to be run on main after they've already been run on the merge queue.
  • being more precise with pull_request.path, meaning a workflow for a given crate should only run if there were changes in its dependencies.

[skip changelog]

Copy link
Member

@franziskuskiefer franziskuskiefer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!
This should get CI time down a lot.

@jschneider-bensch
Copy link
Collaborator Author

Hm, this needs more work. The -status jobs required by the merge queue are not triggered with this path setup (as #1133 actually already described...).

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.

Don't run everything on main again (after it ran on the merge queue already) [CI] Only run actions on changed code

2 participants

Comments