Skip to content

health: update the image used to run the CI pipeline#57

Merged
WilliamBergamin merged 1 commit intomainfrom
update-github-runner-image
Apr 22, 2025
Merged

health: update the image used to run the CI pipeline#57
WilliamBergamin merged 1 commit intomainfrom
update-github-runner-image

Commits

Commits on Apr 22, 2025