Skip to content

Use ubuntu-latest instead of ubuntu-18.04#46

Merged
jwg4 merged 1 commit intomainfrom use_latest_ubuntuNov 11, 2023

Commits

Commits on Nov 11, 2023