Open BebeSparkelSparkel opened 3 months ago
Should a cron line be added to the github workflow schedule?
This would check to ensure the cabal builds are still working and refresh the caches for fast rebuilds for pull requests.
Should a cron line be added to the github workflow schedule?
This would check to ensure the cabal builds are still working and refresh the caches for fast rebuilds for pull requests.