From 2c66f5589b899bf964b6a27ddc36053edab9237d Mon Sep 17 00:00:00 2001
From: damirka <damirka.ru@gmail.com>
Date: Tue, 31 Aug 2021 20:23:11 +0300
Subject: [PATCH] workflow dispatch

---
 .github/workflows/acl2.yml | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

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