Closed mmarchetti closed 1 year ago
To make debugging CI issues easier, this PR adds a workflow_dispatch trigger to CI.
workflow_dispatch
To make debugging CI issues easier, this PR adds a
workflow_dispatch
trigger to CI.