infra/.github
2023-11-26 22:20:33 +00:00
..
workflows Revert ".github/workflows: run darwin, pages after buildbot completes" 2023-11-26 22:20:33 +00:00
CONTRIBUTING.md drop bors, switch to merge queue 2023-05-07 00:49:02 +00:00
dependabot.yml add dependabot for github action updates 2020-11-25 11:21:33 +01:00
labeler.yml .github/labeler.yml: add secret file in repo root 2023-06-04 21:44:43 +00:00
settings.yml .github/settings.yml: switch to buildbot for required check 2023-11-04 08:16:09 +00:00