Skip to content
This repository has been archived by the owner on Mar 22, 2024. It is now read-only.

Removed pull_request edited event from ci workflow #318

Merged
merged 1 commit into from
May 26, 2023
Merged

Removed pull_request edited event from ci workflow #318

merged 1 commit into from
May 26, 2023

Commits on May 26, 2023

  1. Removed pull_request edited event from ci workflow 

    Edited event is only useful if you want a workflow to act on a PR description or title or labels and such, we are not doing that in this workflow.

Removing the edited type from the event doesn't unnecesarily run the workflow again when title, description and such are changed.

Signed-off-by: Marco Franssen <marco.franssen@gmail.com>
    @marcofranssen
    marcofranssen committed May 26, 2023
    Configuration menu
    Copy the full SHA
    7bc52e6 View commit details
    Browse the repository at this point in the history