chore: fix rebase suggestion for Mathlib CI#3701

Merged

kim-em merged 5 commits intomasterfrom fix_mathlib_ci_rebase_suggestion

Mar 28, 2024

+2-1

Commits on Mar 16, 2024

Commits on Mar 17, 2024

use SHA, but the one for nightly-with-mathlib
kim-em
committed

Commits on Mar 21, 2024

Update .github/workflows/pr-release.yml

kim-em
and
nomeata
authored

Commits on Mar 27, 2024

Merge remote-tracking branch 'origin/master' into fix_mathlib_ci_rebase_suggestion
kim-em
committed