Skip to content

Multiple minor CI tweaks#1528

Merged
MOZGIII merged 3 commits intomasterfrom
tweak-ci
Apr 19, 2025
Merged

Multiple minor CI tweaks#1528
MOZGIII merged 3 commits intomasterfrom
tweak-ci

Conversation

@MOZGIII
Copy link
Copy Markdown
Contributor

@MOZGIII MOZGIII commented Apr 19, 2025

No description provided.

@MOZGIII MOZGIII enabled auto-merge April 19, 2025 22:27
@MOZGIII MOZGIII disabled auto-merge April 19, 2025 22:28
@MOZGIII MOZGIII changed the title Tweak CI Multiple minor CI tweaks Apr 19, 2025
@MOZGIII MOZGIII enabled auto-merge April 19, 2025 22:28
@MOZGIII MOZGIII added this pull request to the merge queue Apr 19, 2025
Merged via the queue into master with commit 6fc04f9 Apr 19, 2025
21 checks passed
@MOZGIII MOZGIII deleted the tweak-ci branch April 19, 2025 22:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant