Skip to content

Update CI to run in the merge queue (+ smaller runners)#734

Merged
neysofu merged 1 commit intonightlyfrom filippo/ci-fixesAug 25, 2023

Commits

Commits on Aug 25, 2023