From 6fc0651a8f245e81f2a6af9e22aeb467190e9889 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20Kr=C3=BChlmann?= Date: Tue, 13 Jan 2026 22:13:03 +0100 Subject: [PATCH] Ignore changes to shell.nix in CI --- .github/workflows/ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 63beaf7..c2b41cc 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -6,6 +6,7 @@ on: - '**/*.md' - 'README*' - 'LICENSE*' + - 'shell.nix*' push: branches: - master @@ -13,6 +14,7 @@ on: - '**/*.md' - 'README*' - 'LICENSE*' + - 'shell.nix*' jobs: build: