Skip to content

fix(ci): evaluate dry run condition correctly#15131

Merged
mpfirrmann merged 1 commit intomagma:masterfrom
mpfirrmann:pr/dry_run_condition
Mar 6, 2023
Merged

fix(ci): evaluate dry run condition correctly#15131
mpfirrmann merged 1 commit intomagma:masterfrom
mpfirrmann:pr/dry_run_condition

Conversation

@mpfirrmann
Copy link
Copy Markdown
Contributor

@mpfirrmann mpfirrmann commented Mar 6, 2023

Summary

#15098 introduced a bug, where the dry run condition in the Bazel workflow was evaluated incorrectly. This fixes it.

Test Plan

Tested on my fork with adapted github.repository_owner == 'mpfirrmann'.

See also the tests on the mentioned PR, linked in this conversation.

Additional Information

  • This change is backwards-breaking

@mpfirrmann mpfirrmann requested a review from LKreutzer March 6, 2023 11:53
@mpfirrmann mpfirrmann requested a review from a team as a code owner March 6, 2023 11:53
@mpfirrmann mpfirrmann self-assigned this Mar 6, 2023
@pull-request-size pull-request-size bot added the size/XS Denotes a PR that changes 0-9 lines. label Mar 6, 2023
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Mar 6, 2023

Thanks for opening a PR! 💯

A couple initial guidelines

Howto

  • Reviews. The "Reviewers" listed for this PR are the Magma maintainers who will shepherd it.
  • Checks. All required CI checks must pass before merge.
  • Merge. Once approved and passing CI checks, use the ready2merge label to indicate the maintainers can merge your PR.

More info

Please take a moment to read through the Magma project's

If this is your first Magma PR, also consider reading

@github-actions github-actions bot added the component: ci All updates on CI (Jenkins/CircleCi/Github Action) label Mar 6, 2023
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Mar 6, 2023

DP Lint & Test

0 tests   0 ✔️  0s ⏱️
0 suites  0 💤
0 files    0

Results for commit a63a6bd.

@mpfirrmann mpfirrmann enabled auto-merge (squash) March 6, 2023 11:55
@mpfirrmann mpfirrmann merged commit b96d713 into magma:master Mar 6, 2023
@mpfirrmann mpfirrmann deleted the pr/dry_run_condition branch March 6, 2023 12:09
lucasgonze pushed a commit to lucasgonze/magma that referenced this pull request Feb 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

component: ci All updates on CI (Jenkins/CircleCi/Github Action) size/XS Denotes a PR that changes 0-9 lines.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants