mathlib3

62c22daf - fix(ci): replace 2 old secret names (#2744)

fix(ci): replace 2 old secret names (#2744) [`lean-3.13.2`](https://github.com/leanprover-community/mathlib/tree/lean-3.13.2) is out of date, since I missed two instances of `DEPLOY_NIGHTLY_GITHUB_TOKEN` in #2737.