diff --git a/.github/workflows/compiling.yml b/.github/workflows/compilation_options.yml similarity index 89% rename from .github/workflows/compiling.yml rename to .github/workflows/compilation_options.yml index b2201e6a4c..73e69b339d 100644 --- a/.github/workflows/compiling.yml +++ b/.github/workflows/compilation_options.yml @@ -4,6 +4,12 @@ name: Compilation Options on: + # Note that scheduled cron events are run on the default branch. + # Enable this schedule when main_v12.0 becomes the default branch. + + # schedule: + # - cron: '0 7 * * 0'' + push: tags: - 'v**'