Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: fkirc/skip-duplicate-actions
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: v5.3.0
Choose a base ref
...
head repository: fkirc/skip-duplicate-actions
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: v5.3.1
Choose a head ref
  • 3 commits
  • 4 files changed
  • 3 contributors

Commits on Dec 30, 2022

  1. Increase robustness in case of GitHub API failures (#302) 

    * Increase robustness in case of GitHub API failures

attempt to mitigate #301
    @fkirc
    fkirc authored Dec 30, 2022
    Configuration menu
    Copy the full SHA
    fc7bbd5 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2023

  1. Upgrade to nodejs 20 (supported since github-runner 3.308.0) (#331)

    @blackheaven
    blackheaven authored Sep 28, 2023
    Configuration menu
    Copy the full SHA
    c925fb1 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2023

  1. feat: do not skip merge group (#329) 

    * feat: do not skip merge gorup

- add `merge_group` as workflow trigger
- add `merge_group` to default value sfor `do-not-skip` triggers : else, worfklow will be skipped when the PR is added to a merge queue since it just ran before

* chore: compile

---------

Co-authored-by: Felix K <[email protected]>
    @wahtique @fkirc
    wahtique and fkirc authored Oct 9, 2023
    Configuration menu
    Copy the full SHA
    f75f66c View commit details
    Browse the repository at this point in the history
Loading