Add input for workflow dispatch for W3C publish workflow

[dschuff]

When manually dispatching workflows, inputs can be collected from the dispatching user and passed to the workflow. Use this feature to allow manually setting the W3C_STATE of the document. This will let us publish CR drafts on every push (once we update the default state from WD) and CR snapshots on demand.

[Ms2ger]

Neat. My confidence in assessing whether this will work is low, but I'm okay with testing in production.

[dschuff]

I actually tested it in my fork (https://github.com/dschuff/spec/actions) and it seems to work.

[rossberg]

Cool, but how does this materialise in the UI? Does the user have to enter the exact strings WD or CR for this to work correctly? Would it be more robust to make the input a Boolean flag?

[dschuff]

It can be triggered either on the web UI, by clicking on the actions tab, then on workflow name on the left, and then picking 'Run workflow' on the right (screenshot below), or via the gh CLI tool (e.g. gh workflow run w3c-publish.yml -R WebAssembly/spec -F w3c-status=CR).

Right now, yes the user has to enter the exact strings (e.g. CR, CRD, WD, ED), and yes it would be more robust with a constrained option (for now I left it freeform so I could try all of those). I'm not actually sure what other types or constraints are available here but I agree it makes sense to add what we can.

[rossberg]

I suppose that's fine, but we should perhaps document the valid options somewhere in the repo, and when to use which.