From d01d115dcc4a63d981c22c8fd9a306a5c6ae522e Mon Sep 17 00:00:00 2001
From: Youngchan Cho <86317954+YoungchanCho@users.noreply.github.com>
Date: Fri, 12 Jan 2024 18:28:08 -0600
Subject: [PATCH] Update coq-action.yml

---
 .github/workflows/coq-action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index 40bdfe8..4118182 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -1,7 +1,7 @@
 name: CI
 
 on:
-  workflow_dispatch
+  workflow_dispatch:
   push:
     branches: ['main']
   pull_request: