Skip to content

misc/ GitHub actions: node 20, ubuntu 22.04 + pin versions#791

Merged
maximegris merged 1 commit intomaximegris:mainfrom FrancescoBorzi:ci-update-platformsDec 28, 2023
+6-6

Commits