-
Notifications
You must be signed in to change notification settings - Fork 89
Test lean CI PR run option #540
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Open
rgsl888prabhu
wants to merge
23
commits into
NVIDIA:main
Choose a base branch
from
rgsl888prabhu:add_lean_ci_option
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
+92
−14
Open
Changes from 16 commits
Commits
Show all changes
23 commits
Select commit
Hold shift + click to select a range
eab0cf1
Add an option to switch
rgsl888prabhu abc92ea
Test with lean on
rgsl888prabhu 5586615
add midding job
rgsl888prabhu f7fe3f4
fix style
rgsl888prabhu 3a79e12
fix style
rgsl888prabhu acf5df1
fix lean
rgsl888prabhu bdf1ba9
simplify
rgsl888prabhu bb5a483
fix
rgsl888prabhu a73e916
fix
rgsl888prabhu b7a765d
fix
rgsl888prabhu 7f01697
fix matrix
rgsl888prabhu f3394f3
Merge branch 'main' into add_lean_ci_option
rgsl888prabhu 786b60f
fix minor changes
rgsl888prabhu eac0671
Merge branch 'add_lean_ci_option' of github.com:rgsl888prabhu/cuopt_p…
rgsl888prabhu 6c746c7
enable full ci
rgsl888prabhu 45bdd25
Merge branch 'main' into add_lean_ci_option
rgsl888prabhu 56a5763
fix lean CI to trigger from label
rgsl888prabhu f982bc7
fix style
rgsl888prabhu 45d03dd
Address review
rgsl888prabhu fc71ad2
update
rgsl888prabhu f37deb5
update
rgsl888prabhu a2a31f6
fix
rgsl888prabhu 3c660c0
Merge branch 'main' into add_lean_ci_option
rgsl888prabhu File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Some comments aren't visible on the classic Files Changed page.
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't think this is going to work.
First, you can imagine the headache of constantly switching this back and forth on a per-PR basis.
But more importantly, when PRs are opened from forks, the workflows aren't run from changes to that fork, they're run from the base repo to prevent malicious changes to CI.
These changes would only take effect after the PR is merged, which is too late.
If you want to have variable CI runs, I would recommend instead setting up some conditions where the
matrix_filtergets adjusted if a specificlabelis applied to a PR.Uh oh!
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.