Stanislas 66890fb5d3 ci: prevent duplicate workflow runs (#1324) ...

## Summary
- Restrict `push` trigger to `master` branch only (feature branch pushes
won't trigger CI)
- Add concurrency groups to cancel redundant runs when new commits are
pushed
- Works correctly with fork PRs using standard `pull_request` event

2025-12-09 19:47:02 +01:00

..

linters

Disable MD041 rule for template files with HTML comments

2025-12-04 23:04:11 +01:00

workflows

ci: prevent duplicate workflow runs (#1324)

2025-12-09 19:47:02 +01:00

dependabot.yml

dependabot: check monthly

2021-06-05 00:13:49 +02:00

FUNDING.yml

Update FUNDING.yml

2022-01-31 01:36:28 +01:00

issue_template.md

Update issue template

2023-01-21 23:18:52 +01:00

pull_request_template.md

Update pull request template to clarify maintenance burden of added features

2025-12-09 14:17:19 +01:00