From 80a12e30ad71326d59829475fa023f9aa3ba5c75 Mon Sep 17 00:00:00 2001 From: Douglas Wilson Date: Mon, 15 Jul 2024 14:12:48 +0100 Subject: [PATCH] add tket2-hseries to change-filters.yml --- .github/change-filters.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/change-filters.yml b/.github/change-filters.yml index a48bb004..f5127387 100644 --- a/.github/change-filters.yml +++ b/.github/change-filters.yml @@ -8,6 +8,7 @@ rust-core: &rust-core rust: - *rust-core + - "tket2-hseries/**" - "badger-optimiser/**" - "compile-rewriter/**"