Skip to content

ci: pin ubuntu runners to v22#74

Merged
joshblack merged 1 commit intomainfrom
chore/pin-ubuntu-runners
Jan 29, 2025
Merged

ci: pin ubuntu runners to v22#74
joshblack merged 1 commit intomainfrom
chore/pin-ubuntu-runners

Commits

Commits on Jan 29, 2025