.github: allow trigger ci manually (#45)

This commit is contained in:
Cole Mickens 2023-10-18 08:14:39 -07:00 committed by GitHub
parent bc7b192574
commit 1cd89e7945
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,6 +4,7 @@ on:
pull_request:
push:
branches: [main]
workflow_dispatch:
jobs:
run-x86_64-linux: