Skip to content

github-actions: Run only the latest instance of the main CI workflows#2537

Merged
jvesely merged 1 commit intoPrincetonUniversity:develfrom jvesely:github-actionsNov 13, 2022
+21

Commits

Commits on Nov 13, 2022