From 1425fb0a31c5426ff25f95f62fe37f14f6f09be4 Mon Sep 17 00:00:00 2001 From: Marcin Juszkiewicz Date: Wed, 25 Oct 2023 15:15:12 +0200 Subject: [PATCH] move github action to proper directory --- .github/{ => workflows}/generate-system-calls-html.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) rename .github/{ => workflows}/generate-system-calls-html.yml (97%) diff --git a/.github/generate-system-calls-html.yml b/.github/workflows/generate-system-calls-html.yml similarity index 97% rename from .github/generate-system-calls-html.yml rename to .github/workflows/generate-system-calls-html.yml index 5f5b68f..5622c4b 100644 --- a/.github/generate-system-calls-html.yml +++ b/.github/workflows/generate-system-calls-html.yml @@ -3,7 +3,8 @@ name: Generate system calls HTML table # # for now it will be manual # -# on: +on: + workflow_dispatch # push: # branches: [ "master" ]