Skip to content

Update GitHub Actions runners to Ubuntu 22.04#125

Merged
lucacome merged 1 commit intomainfrom
chore/update-runners
Oct 13, 2022
Merged

Update GitHub Actions runners to Ubuntu 22.04#125
lucacome merged 1 commit intomainfrom
chore/update-runners

Commits

Commits on Oct 12, 2022