Skip to content

Update workflow: Don't run if the actor is the protegeproject-bot#3

Merged
matthewhorridge merged 1 commit intomainfrom fix-worflow-no-bot-runJun 12, 2024

Commits