From 999ee94d441b9877d08756f0cde0a7c706f1b2f7 Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Fri, 20 Dec 2024 18:03:35 +0100
Subject: [PATCH 1/4] mergify: handle github-actions

---
 .mergify.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.mergify.yml b/.mergify.yml
index 0e037ad..a582ac4 100644
--- a/.mergify.yml
+++ b/.mergify.yml
@@ -6,7 +6,8 @@ pull_request_rules:
       - check-success = "nix (ubuntu)"
       - check-success = "pre-commit.ci - pr"
       - or:
-        - author = pre-commit-ci[bot]
+        - author = github-actions[bot]
         - author = dependabot[bot]
+        - author = pre-commit-ci[bot]
     actions:
       merge:

From 7a8b64f56fe649c545054122832cb6aaf0c575fd Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Fri, 20 Dec 2024 18:04:11 +0100
Subject: [PATCH 2/4] CI: run on push/pr

---
 .github/workflows/nix.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
index 52b45d9..14d855f 100644
--- a/.github/workflows/nix.yml
+++ b/.github/workflows/nix.yml
@@ -2,6 +2,13 @@ name: "CI - Nix"
 
 on:
   push:
+    branches:
+      - devel
+      - master
+  pull_request:
+    branches:
+      - devel
+      - master
 
 jobs:
   nix:

From 0a32e01872125cedd9026995548951e6b21d51ca Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Fri, 20 Dec 2024 18:04:30 +0100
Subject: [PATCH 3/4] setup dependabot

---
 .github/dependabot.yml | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 .github/dependabot.yml

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
new file mode 100644
index 0000000..203f3c8
--- /dev/null
+++ b/.github/dependabot.yml
@@ -0,0 +1,6 @@
+version: 2
+updates:
+- package-ecosystem: "github-actions"
+  directory: "/"
+  schedule:
+      interval: "weekly"

From 60667680d8ea44769d747088812a02f3af5d83ad Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Fri, 20 Dec 2024 18:05:56 +0100
Subject: [PATCH 4/4] update flake lock

---
 .github/workflows/update-flake-lock.yml | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 .github/workflows/update-flake-lock.yml

diff --git a/.github/workflows/update-flake-lock.yml b/.github/workflows/update-flake-lock.yml
new file mode 100644
index 0000000..1e11a1d
--- /dev/null
+++ b/.github/workflows/update-flake-lock.yml
@@ -0,0 +1,17 @@
+name: update-flake-lock
+
+on:
+  workflow_dispatch: # allows manual triggering
+  schedule:
+    - cron: '0 17 5 * *'
+
+jobs:
+  lockfile:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      - name: Install Nix
+        uses: DeterminateSystems/nix-installer-action@main
+      - name: Update flake.lock
+        uses: DeterminateSystems/update-flake-lock@main