Skip to content

Update the conditions that trigger the CI workflows#653

Merged
jessebraham merged 1 commit into
esp-rs:mainfrom
SergioGasquez:feat/merge-queue
Jul 18, 2024
Merged

Update the conditions that trigger the CI workflows#653
jessebraham merged 1 commit into
esp-rs:mainfrom
SergioGasquez:feat/merge-queue

Conversation

@SergioGasquez

Copy link
Copy Markdown
Member

Also configure the repository to use merge queue. Once this PR is merged, I'll update the list of required checks for the PR to be merged in the settings.

@SergioGasquez SergioGasquez added the skip-changelog Skips the changelog CI check label Jul 18, 2024
@jessebraham jessebraham added this pull request to the merge queue Jul 18, 2024
Merged via the queue into esp-rs:main with commit db1705b Jul 18, 2024
@jessebraham

Copy link
Copy Markdown
Member

Oops, guess the configuration isn't quite right, queuing the PR nukes the CI run 😅

@SergioGasquez SergioGasquez deleted the feat/merge-queue branch July 18, 2024 12:47
@SergioGasquez SergioGasquez restored the feat/merge-queue branch July 18, 2024 12:47
@SergioGasquez SergioGasquez deleted the feat/merge-queue branch July 18, 2024 12:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog Skips the changelog CI check

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants