Add workflow_dispatch trigger. #130

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	16s
build (3.8)	6m 37s
build (3.9)	4m 38s
build (3.10)	4m 27s
build (3.11)	4m 24s
	20m 22s