Skip to content

Drop Ubuntu 20.04 from the CI platforms#1529

Merged
MOZGIII merged 1 commit intomasterfrom
drop-old-ubuntu
Apr 20, 2025
Merged

Drop Ubuntu 20.04 from the CI platforms#1529
MOZGIII merged 1 commit intomasterfrom
drop-old-ubuntu

Conversation

@MOZGIII
Copy link
Copy Markdown
Contributor

@MOZGIII MOZGIII commented Apr 20, 2025

No description provided.

@MOZGIII MOZGIII enabled auto-merge April 20, 2025 18:41
@MOZGIII MOZGIII added this pull request to the merge queue Apr 20, 2025
Merged via the queue into master with commit 047829e Apr 20, 2025
21 checks passed
@MOZGIII MOZGIII deleted the drop-old-ubuntu branch April 20, 2025 19:12
MOZGIII added a commit that referenced this pull request Apr 20, 2025
MOZGIII added a commit that referenced this pull request Apr 20, 2025
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