6 Commits

Author SHA1 Message Date
84bd0d452e ci: run the docker workflow monthly instead of daily
Rebuilding the gentoo docker image daily is most definitely going to
bust through the free CI tier limits.
2025-06-21 16:05:00 -04:00
d4f61ad271 ci: allow manual triggering of docker workflow 2025-06-21 16:05:00 -04:00
e394485857 .github/workflows: don't run on forks 2024-09-28 12:55:47 -05:00
532a90259b Dont fail docker image builds when another build fails 2024-05-30 20:18:33 +02:00
af87388eb4 Update docker.yml 2024-05-28 09:13:11 +02:00
49afcdf715 Add GitHub action for nightly Dockerfiles building 2024-05-11 16:16:02 +02:00