Skip to content

Replace unpinned actions with pinned action#18

Merged
jhrozek merged 1 commit intomainfrom minder_replace_unpinned_actions_with_pinned_actionDec 19, 2023
+15-32

Commits

Commits on Dec 15, 2023