PR #427 ci: allow building manually

ci: allow building manually #427

dunglas merged 2 commits into main from ci/workflow_dispatch

ci: allow building manually

6b955faa

fix

2f4c407e

dunglas force pushed from e4137bdf to 2f4c407e 2 years ago

dunglas merged f16cb0b5 into main 2 years ago

dunglas deleted the ci/workflow_dispatch branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone