summaryrefslogtreecommitdiff
path: root/.github/workflows/pre-commit.yml
diff options
context:
space:
mode:
authorHa Thach <[email protected]>2023-05-25 21:54:31 +0700
committerGitHub <[email protected]>2023-05-25 21:54:31 +0700
commit23c8670e7910ae0987b789c0a640f7cc9ad951f9 (patch)
tree7bad18aab4b122d14abcac5bf1ca18f428008883 /.github/workflows/pre-commit.yml
parenteedafb23f727ac9408b43c6293f6c608f120993c (diff)
parent4c9605910f1f53b2517fff5f0cc02973260f0739 (diff)
Merge pull request #2081 from hathach/more-build-system
More build system
Diffstat (limited to '.github/workflows/pre-commit.yml')
-rw-r--r--.github/workflows/pre-commit.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml
index ab416bc52..f984954d9 100644
--- a/.github/workflows/pre-commit.yml
+++ b/.github/workflows/pre-commit.yml
@@ -1,6 +1,7 @@
name: pre-commit
on:
+ workflow_dispatch:
push:
pull_request:
branches: [ master ]