Change name of GitHub worflow

jorge-jbs · Apr 23, 2024 · fdd99cc · fdd99cc
1 parent 00fa6f4
commit fdd99cc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/blank.yml → .github/workflows/verify.yml b/.github/workflows/blank.yml → .github/workflows/verify.yml
@@ -1,8 +1,8 @@
-name: CI
+name: Verify
 
 on:
   push:
-    branches: [ "master", "threaded-trees", "disjoint-set-forest", "examples-verification-optimization" ]
+    branches: [ "master" ]
   pull_request:
     branches: [ "master" ]