Commit 935f85131fa106730bbf66d49808b5aca375f729

Edward Thomson 2021-02-15T16:03:23

CI: add workflow_dispatch event to the main build Invert the workflow conditionals so that a workflow_dispatch event acts like an on: push build.