.github/workflows/release.yml: Add 'on: workflow_dispatch'#311

malb merged 1 commit intofplll:masterfplll/fpylll:masterfrom

passagemath:workflow_dispatchpassagemath/upstream-fpylll:workflow_dispatchCopy head branch name to clipboard