Merge pull request #7 from Gepetto/ci

ci: details
Gepetto · Dec 22, 2024 · 71e7a37 · 71e7a37
2 parents 6c9bd49 + ad25658
commit 71e7a37
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 9 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,10 +3,10 @@ name: "Build dev shell"
 on:
   push:
     branches:
-    - main
+      - main
   pull_request:
     branches:
-    - main
+      - main
 
 jobs:
   ci:

diff --git a/.github/workflows/update.yml → .github/workflows/update-flake-lock.yml b/.github/workflows/update.yml → .github/workflows/update-flake-lock.yml
@@ -1,9 +1,9 @@
 name: update-flake-lock
 
 on:
-  workflow_dispatch: # allows manual triggering
+  workflow_dispatch:
   schedule:
-    - cron: '0 0 * * 0' # runs weekly on Sunday at 00:00
+    - cron: '0 0 * * 0'
 
 jobs:
   lockfile:

diff --git a/.mergify.yml b/.mergify.yml
@@ -4,8 +4,8 @@ pull_request_rules:
       - check-success = "ci"
       - check-success = "pre-commit.ci - pr"
       - or:
-        - author = pre-commit-ci[bot]
         - author = dependabot[bot]
         - author = github-actions[bot]
+        - author = pre-commit-ci[bot]
     actions:
       merge:
diff --git a/flake.lock b/flake.lock
-Original file line number
+Diff line change
@@ Expand Up / @@ -3,10 +3,10 @@ name: "Build dev shell" @@
     on:
       push:
         branches:
-        - main
+          - main
       pull_request:
         branches:
-        - main
+          - main
     jobs:
       ci:
@@ Expand Down @@