Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use latest dev docker build for documentation workflow #33339

Closed
tobiasdiez opened this issue Feb 13, 2022 · 3 comments
Closed

Use latest dev docker build for documentation workflow #33339

tobiasdiez opened this issue Feb 13, 2022 · 3 comments
Labels
c: build p: critical / 2 t: enhancement
Milestone
sage-9.6

Comments

@tobiasdiez
Copy link
Contributor

Follow up from #31415. Forgot to change from 9.5 to dev docker tag before merge. Mea culpa.

CC: @mkoeppe

Component: build

Author: Tobias Diez

Branch/Commit: 37a761a

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/33339
@tobiasdiez tobiasdiez added this to the sage-9.6 milestone Feb 13, 2022
@mkoeppe
Copy link
Contributor

mkoeppe commented Feb 13, 2022

Reviewer: Matthias Koeppe

@tobiasdiez
Copy link
Contributor Author

comment:3

Thanks!

@vbraun
Copy link
Member

vbraun commented Feb 20, 2022

Changed branch from public/build/build_docker_tag to 37a761a

@vbraun vbraun closed this as completed in 24f0f4e Feb 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: build p: critical / 2 t: enhancement
Projects
None yet
Milestone
sage-9.6
Development

No branches or pull requests
3 participants
@vbraun @tobiasdiez @mkoeppe