Sync GitHub workflows to other repos

Merge pull request #4077 from mathesar-foundation/number_input_text_a… #1007

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
sync_workflows	12s
	12s