Sebastian Ullrich aadc74bee2 perf: do not import non-meta IR		2025-06-27 08:13:31 -07:00
..
actionlint.yml
awaiting-manual.yml	chore: automatically create reference manual PR branches (#9033)	2025-06-27 13:23:41 +00:00
awaiting-mathlib.yml	chore: fix awaiting-mathlib.yml (#8480)	2025-05-26 02:13:00 +00:00
backport.yml
build-template.yml	perf: do not import non-meta IR	2025-06-27 08:13:31 -07:00
check-prelude.yml
check-stage0.yml	chore: CI: relax check-stage0 check	2025-03-20 13:16:43 +01:00
ci.yml	chore: ci: build Linux toolchain for master commits (but not merge queue runs) (#9010)	2025-06-26 08:20:04 +00:00
copyright-header.yml
grove.yml	chore: ci: fixes to Grove workflow (#9014)	2025-06-26 12:15:51 +00:00
jira.yml
labels-from-comments.yml
pr-body.yml
pr-release.yml	chore: automatically create reference manual PR branches (#9033)	2025-06-27 13:23:41 +00:00
pr-title.yml
restart-on-label.yml
stale.yml
update-stage0.yml	chore: denixify stage0-updater workflow (#8452)	2025-05-23 13:12:50 +00:00