Skip to content
Lint Clippy

Undo a job name change, because that job name is required to merge #3

Sign in to view logs

Undo a job name change, because that job name is required to merge

Undo a job name change, because that job name is required to merge #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint-clippy
2m 52s
2m 52s