Skip to content

CI update workflow#80

Merged
BorisMuzellec merged 7 commits intomainfrom
workflow
Feb 15, 2023
Merged

CI update workflow#80
BorisMuzellec merged 7 commits intomainfrom
workflow

Conversation

@maikia
Copy link
Copy Markdown
Collaborator

@maikia maikia commented Feb 15, 2023

update workflow to run pre-commit to avoid redundant code (in workflow and in precommit)

Reference Issue or PRs

when adding mypy to pre-commit, CI should automatically run it as well #68

What does your PR implement? Be specific.

It removes the checking of the linting from the workflow and instead it runs pre-commit which has those checks included

@maikia maikia changed the title update workflow CI update workflow Feb 15, 2023
@maikia maikia marked this pull request as ready for review February 15, 2023 09:52
@maikia maikia requested a review from BorisMuzellec February 15, 2023 09:52
Copy link
Copy Markdown
Collaborator

@BorisMuzellec BorisMuzellec left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks @maikia!

@BorisMuzellec BorisMuzellec merged commit 1f3e00c into main Feb 15, 2023
@BorisMuzellec BorisMuzellec deleted the workflow branch February 15, 2023 13:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants