Collection of fixes for the GitHub Actions workflows

[absidue]

Pull Request Type

• Bugfix - GitHub Actions workflows

Description

This pull request contains a collection of minor bug fixes to the GitHub Actions workflows.

• Add a check to the auto merge workflow to check that the pull request is open before enabling auto merge as the auto_merge_disabled event type also fires when a pull request is closed without being merged and attempting to enable auto merge on a closed pull request returns an error.
• Remove the synchronize event type from the auto merge workflow, as it was causing unnecessary workflow runs:
  • When a maintainer pushes to a pull request branch, auto merge stays enabled so we don't need to run the workflow.
  • When a non-maintainer pushes to a pull request branch, auto merge gets disabled which also fires the auto_merge_disabled event type, so we were running the workflow twice.
• Add the actions: write permission to the stale workflow to fix the Warning: Error delete _state: [403] Resource not accessible by integration log message when it tries to save and delete the caches it keeps to reduce the number of API requests it has to make.
• As you can be billed for using GitHub Actions in various scenarios, disable scheduled workflows and automatically building on push in forks, to avoid people that just fork the repository to keep an eye on it from potentially being billed. Manually triggering build is still possible in forks and if a fork does need those scheduled workflows or building on every push to a default branch, they can remove those condition in their forks.

Desktop

• OS: Windows
• OS Version: 11