.github/workflows/run_patchbot.yml: Use 'dev' as default Docker tag - Githubissues

sagemath / sage-patchbot

Sage Patchbot

https://www.sagemath.org

Other

8 stars 17 forks source link

.github/workflows/run_patchbot.yml: Use 'dev' as default Docker tag #160

Closed mkoeppe closed 2 years ago

mkoeppe commented 2 years ago

This tag is available since 9.6.beta1 - https://wiki.sagemath.org/ReleaseTours/sage-9.6#Pre-built_Docker_containers_on_ghcr.io