Skip to content

CI: move lint to a separate workflow#1695

Merged
XhmikosR merged 1 commit intomainfrom
xmr/ci
Apr 26, 2023
Merged

CI: move lint to a separate workflow#1695
XhmikosR merged 1 commit intomainfrom
xmr/ci

Conversation

@XhmikosR
Copy link
Copy Markdown
Member

@XhmikosR XhmikosR commented Apr 10, 2023 •
edited
Loading

TODO:

  • Update branch protection rules after merging this

@XhmikosR XhmikosR added the build label Apr 10, 2023
@XhmikosR XhmikosR marked this pull request as ready for review April 26, 2023 18:55
@XhmikosR XhmikosR merged commit c0e1542 into main Apr 26, 2023
@XhmikosR XhmikosR deleted the xmr/ci branch April 26, 2023 18:59
This was referenced May 20, 2024
Open
Open
Open
@Cpano Cpano mentioned this pull request May 24, 2024
Open
This was referenced May 24, 2024
Open
Open
Open
Open
Open
Open
Open
Open
This was referenced Jun 1, 2024
Open
Open
Open
Open
Open
Open
Open
Open
This was referenced Jun 9, 2024
Open
Open
Open
Open
This was referenced Sep 10, 2024
Open
Open
Open
Open
Open
Open
Open
This was referenced Sep 17, 2024
Open
Open
Open
Open
Open
Open
Open
This was referenced Sep 24, 2024
Open
Open
Open
Open
Open
Open
Open
This was referenced Oct 1, 2024
Open
Open
Open
Open
@jtprogru jtprogru mentioned this pull request Oct 5, 2024
Open
@RohitM-IN RohitM-IN mentioned this pull request Oct 5, 2024
Open
@RohitM-IN RohitM-IN mentioned this pull request Oct 25, 2024
Open
@RohitM-IN RohitM-IN mentioned this pull request Nov 1, 2024
Open
@RohitM-IN RohitM-IN mentioned this pull request Nov 8, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

build

Projects

No open projects
Icons v1.10.5
Status: No status

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@XhmikosR