Kelvin M. Klann 0cc56a71a5 ci: fix dependabot duplicated workflow runs ... Every workflow is being executed twice for dependabot: Once when its branch is pushed to this repository and again when a PR is opened for it. For example, see the checks in #5979 ("29 checks passed"). This happens because both `on.push` and `on.pull_request` are specified in the workflow files. There does not seem to be a simple and generic way to avoid such duplicated runs directly in GitHub Actions (such as preventing the same check from running for the same exact commit)[1], so just ignore the dependabot branches on push for now. See also and commit 5871b08a4 ("ci: run for every branch instead of just master", 2023-04-23) / PR #5815. [1] https://github.com/orgs/community/discussions/26276		2023-08-28 20:47:35 -03:00
..
ISSUE_TEMPLATE	docs: line-wrap some long lines	2023-03-26 13:51:25 -03:00
workflows	ci: fix dependabot duplicated workflow runs	2023-08-28 20:47:35 -03:00
.editorconfig	editorconfig: add indentation rules	2023-02-20 18:07:09 -03:00
dependabot.yml	CI: enable Dependabot for updating SHAs	2021-12-26 21:52:05 +00:00
pull_request_template.md	docs: line-wrap markdown and use double-spacing	2023-03-26 13:52:11 -03:00