Skip to content
This repository is currently being migrated. It's locked while the migration is in progress.

Use latest ubuntu image for linter #156

Merged
merged 3 commits into from
Oct 17, 2022
Merged

Use latest ubuntu image for linter #156

merged 3 commits into from
Oct 17, 2022

Conversation

nolancon
Copy link
Collaborator

No description provided.

@nolancon nolancon merged commit a80f8c9 into master Oct 17, 2022
@nolancon nolancon deleted the ubuntu-upgrade branch October 17, 2022 15:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants