From 5ae13ebf32769450387fdfdc143a02435f1e5344 Mon Sep 17 00:00:00 2001 From: Ranadeep Biswas Date: Mon, 27 Nov 2023 21:33:34 +0100 Subject: [PATCH] trigger mbt workflow at changes on the workflow yml --- .github/workflows/mbt.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/mbt.yml b/.github/workflows/mbt.yml index 8a3051028..a5f77aafb 100644 --- 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: