Skip to content

ci: pr_check_downstream — use get-mathlib-ci + local action paths

4f58c45
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

ci: add !downstream-check PR-validation workflow #39339

ci: pr_check_downstream — use get-mathlib-ci + local action paths
4f58c45
Select commit
Loading
Failed to load commit list.