run check on the formal-verification branch

2 years ago · 0d1e919742
parent 75ce9ef8e9
commit 0d1e919742
1 changed files with 1 additions and 0 deletions
--- 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: {}