Skip to content

remove focal#1643

Open
Shamzik wants to merge 4 commits into
masterfrom
kshamazov/remove_focal_from_ci
Open

remove focal#1643
Shamzik wants to merge 4 commits into
masterfrom
kshamazov/remove_focal_from_ci

Conversation

@Shamzik

@Shamzik Shamzik commented Jun 29, 2026

Copy link
Copy Markdown
Contributor

This PR removes focal from github CI

@Shamzik Shamzik requested a review from a team as a code owner June 29, 2026 14:08
@Shamzik Shamzik self-assigned this Jun 29, 2026
@Shamzik Shamzik added this to the next milestone Jun 29, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants