From 0d1e9197420e4827ba0aa07f5f2ba3e5c584f13d Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Fri, 9 Sep 2022 15:47:00 +0200
Subject: [PATCH] run check on the formal-verification branch

---
 .github/workflows/formal-verifiation.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml
index 10b6bcee7..bb503541c 100644
--- a/.github/workflows/formal-verifiation.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -5,6 +5,7 @@ on:
     branches:
       - master
       - release-v*
+      - formal-verification
   pull_request: {}
   workflow_dispatch: {}