Skip to content

disable cron CI run, github disables CI when unchanged for too long#44

Merged
mjheilmann merged 2 commits intomainfrom mjheilmann/shore/disable-CI-cronJan 18, 2025

Commits

Commits on Jan 18, 2025