Skip to content
This repository has been archived by the owner on Feb 26, 2024. It is now read-only.

ci: drop ubuntu-18.04, add ubuntu-22.04#3405

Merged
davidmurdoch merged 2 commits intodevelopfrom drop-ubuntu-18-add-22Jan 5, 2023

Commits

Commits on Dec 21, 2022

Commits on Jan 5, 2023