trigger mbt workflow at changes on the workflow yml

informalsystems · Nov 27, 2023 · 5ae13eb · 5ae13eb
1 parent 999749b
commit 5ae13eb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/mbt.yml b/.github/workflows/mbt.yml
@@ -6,10 +6,12 @@ on:
     paths:
       - Specs/Quint/**
       - Code/**
+      - .github/workflows/mbt.yml
   pull_request:
     paths:
       - Specs/Quint/**
       - Code/**
+      - .github/workflows/mbt.yml
 
 jobs:
   gen-traces: