Back to pull request #846

`[BP: v7 <- #845]` gh runners: ubuntu-latest #2226

Sign in to view logs

Summary
Jobs
- lint
- clippy-lint
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	4m 11s
clippy-lint	59s
	5m 10s