Kilian Lieret ee55ae3b0c CI: Queue up doc pushes (#1220) ...

This action fails if more than 1 is running at the same time (which
happens if you merge multiple PRs in quick succession). Fix is by
disabling concurrency, so they just queue up.

2025-06-24 17:30:07 -04:00

..

ISSUE_TEMPLATE

CI: Fix swe-agent installation (#847)

2024-12-07 18:47:35 -05:00

workflows

CI: Queue up doc pushes (#1220)

2025-06-24 17:30:07 -04:00

CODE_OF_CONDUCT.md

Doc: Move CoC and changelog

2024-11-15 21:22:13 -05:00

dependabot.yml

CI: Fix dependabot location (#815)

2024-10-21 16:01:50 -04:00

PULL_REQUEST_TEMPLATE.md

Doc: Disable announcement about formatting conflicts (#657)

2024-07-15 20:01:58 +03:00