PR #5035 [CI] Move lintcheck from Circle to GHA

[CI] Move lintcheck from Circle to GHA #5035

malfet merged 2 commits into master from malfet/move-linter-to-gha

malfet force pushed from 22c941d1 to d8e40c82 3 years ago

malfet force pushed from d8e40c82 to f3d7308e 3 years ago

malfet force pushed from f3d7308e to 37cf2888 3 years ago

[CI] Move lintcheck from Circle to GHA

3a953ca0

malfet force pushed from 37cf2888 to 3a953ca0 3 years ago

malfet requested a review from

janeyx99 3 years ago

And delete it from CircleCI

5c213bc0

malfet force pushed from 6e709597 to 5c213bc0 3 years ago

malfet requested a review from

huydhn 3 years ago

janeyx99 commented on 2023-05-19

osalpekar approved these changes on 2023-05-19

janeyx99 commented on 2023-05-19

janeyx99 approved these changes on 2023-05-19

malfet force pushed from 0e3dc0f1 to 5c213bc0 3 years ago

malfet merged 6bc1315b into master 3 years ago

malfet deleted the malfet/move-linter-to-gha branch 3 years ago

Reviewers

janeyx99

osalpekar

JackCaoG

huydhn

Assignees

No one assigned

Labels

None yet

Milestone

No milestone