Skip to content
This repository was archived by the owner on Mar 19, 2024. It is now read-only.

Change the lint CI job name to be more descriptive#208

Merged
aminya merged 1 commit intorust-lang:masterfrom
Green-Avocado:linter-CI-name
Jan 22, 2022
Merged

Change the lint CI job name to be more descriptive#208
aminya merged 1 commit intorust-lang:masterfrom
Green-Avocado:linter-CI-name

Commits

Commits on Dec 2, 2021