Lint GitHub Actions workflows

Bump dawidd6/action-download-artifact from 7 to 9 (#1856) #424

Sign in to view logs

Summary
Jobs
- actionlint
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
actionlint	5s
	5s