From 1433dcd5e8bcf196765f2ca9a3d9118100bc9796 Mon Sep 17 00:00:00 2001 From: Iacopo Spalletti Date: Thu, 25 Jun 2020 00:28:05 +0200 Subject: [PATCH] Split linting GA to its own file (#610) --- .github/ISSUE_TEMPLATE/---bug-report.md | 2 +- .github/workflows/lint.yml | 41 +++++++++++++++++++++++++ .github/workflows/test.yml | 39 +---------------------- changes/608.bugfix | 1 + 4 files changed, 44 insertions(+), 39 deletions(-) create mode 100644 .github/workflows/lint.yml create mode 100644 changes/608.bugfix diff --git a/.github/ISSUE_TEMPLATE/---bug-report.md b/.github/ISSUE_TEMPLATE/---bug-report.md index 0b53690a..19d08d85 100644 --- a/.github/ISSUE_TEMPLATE/---bug-report.md +++ b/.github/ISSUE_TEMPLATE/---bug-report.md @@ -17,7 +17,7 @@ Please fill in each section to help maintainers to be helpful and quick to respo Describe issue in general terms. --> -## Steps to reproduce +## Steps to reproduce