New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Remove linting workflow: use pre-commit.ci #399

Merged

andersy005 merged 1 commit into main from remove-linting-workflow

Nov 18, 2021

Member

andersy005 commented Nov 18, 2021

Change Summary

Related issue number

Checklist

Unit tests for the changes exist
Tests pass on CI
Documentation reflects the changes where applicable


          Remove linting workflow: use pre-commit.ci

7cd97c0

andersy005 added the internal-change label

andersy005 merged commit 50b15c5 into main

andersy005 deleted the remove-linting-workflow branch

November 18, 2021 19:29

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

internal-change