Skip to content

chore: pin ubuntu-22.04 runner for linux actions#2649

Closed
giacomocusinato wants to merge 1 commit intomainfrom
pin-ubuntu-22.04
Closed

chore: pin `ubuntu-22.04` runner for linux actions#2649
giacomocusinato wants to merge 1 commit intomainfrom
pin-ubuntu-22.04

Commits

Commits on Feb 27, 2025