diff --git a/.github/workflows/acl2.yml b/.github/workflows/acl2.yml
index bc9aabf1b5..91d44aa0b7 100644
--- a/.github/workflows/acl2.yml
+++ b/.github/workflows/acl2.yml
@@ -1,14 +1,5 @@
 name: Leo-ACL2
-on: 
-  pull_request:
-    push:
-      branches:
-        - master
-        - staging
-        - trying
-      paths-ignore:
-        - 'docs/**'
-        - 'documentation/**'
+on: workflow_dispatch
 env: 
   RUST_BACKTRACE: 1