Files
git/.github/workflows
Johannes Schindelin 05a68e79f6 git-artifacts: mark all inputs as "not required"
This workflow needs to be triggered manually, and it offers to specify a
couple input parameters. But none of them are required. Make that
explicit.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
2022-04-18 10:40:56 -07:00
..
2021-12-15 09:39:49 -08:00