enable "Run workflow" button
enable "Run workflow" button

Requested by @nikswamy
From https://github.blog/changelog/2020-07-06-github-actions-manual-triggers-with-workflow_dispatch/

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar