diff --git a/.github/workflows/blank.yml b/.github/workflows/verify.yml
similarity index 86%
rename from .github/workflows/blank.yml
rename to .github/workflows/verify.yml
index d19668e..dfe44b4 100644
--- a/.github/workflows/blank.yml
+++ b/.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" ]