Skip to content

[ci] Run CI in merge queue and not master#2112

Merged
nbdd0121 merged 1 commit intolowRISC:masterfrom jwnrt:ci-merge-queue-runDec 15, 2023

Commits

Commits on Dec 15, 2023