Update docker-publish.yml

gap-system / gap-container

Minimalistic GAP docker container (core system and GAPDoc only)

GNU General Public License v2.0

4 stars 3 forks source link

Closed ZachNewbery closed 2 years ago

ZachNewbery commented 2 years ago

Updates schedule of docker image publishing to run at 9am on the 1st of every month.

olexandr-konovalov commented 2 years ago

Already done in 9c25714f78ae8cd2cbdaa4ed7509b6e1c3c5c62f