Skip to content

Commit

Permalink
move github action to proper directory
Browse files Browse the repository at this point in the history
  • Loading branch information
hrw committed Oct 25, 2023
1 parent da1c09b commit 1425fb0
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,8 @@ name: Generate system calls HTML table
#
# for now it will be manual
#
# on:
on:
workflow_dispatch
# push:
# branches: [ "master" ]

Expand Down

0 comments on commit 1425fb0

Please sign in to comment.