Closed mortenpi closed 3 months ago
Suggestion tangentially related to #637 and #676: on: workflow_dispatch would allow the update_apis workflow to be triggered on-demand as well. Might be useful for triggering the API update right after a formatting PR etc is merged.
on: workflow_dispatch
Suggestion tangentially related to #637 and #676:
on: workflow_dispatch
would allow the update_apis workflow to be triggered on-demand as well. Might be useful for triggering the API update right after a formatting PR etc is merged.