Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Trac #33339: Use latest dev docker build for documentation workflow
Follow up from #31415. Forgot to change from `9.5` to `dev` docker tag before merge. Mea culpa. URL: https://trac.sagemath.org/33339 Reported by: gh-tobiasdiez Ticket author(s): Tobias Diez Reviewer(s): Matthias Koeppe
- Loading branch information