Merge branch 'main' into dev

PierpaoloSpadafora · Dec 16, 2024 · 51f2e8c · 51f2e8c
2 parents 9a7350d + e64d77b
commit 51f2e8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,7 +5,7 @@ on:
   pull_request:
     branches: [main, dev]
   schedule:
-   - cron: '0 0 * * *'
+    - cron: '0 0 * * *'  
 jobs:
   build:
     runs-on: ubuntu-latest