Skip to content

Pin lint CI to Ubuntu 22.04#178

Merged
cleptric merged 1 commit intomasterfrom
pin-ubuntu
Jan 21, 2025
Merged

Pin lint CI to Ubuntu 22.04#178
cleptric merged 1 commit intomasterfrom
pin-ubuntu

Conversation

@cleptric
Copy link
Member

No description provided.

@cleptric cleptric merged commit 849dfeb into master Jan 21, 2025
7 checks passed
@cleptric cleptric deleted the pin-ubuntu branch January 21, 2025 10:26
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.

3 participants