Skip to content

Commit

Permalink
Merge branch 'patch-1' into gh-pages
Browse files Browse the repository at this point in the history
  • Loading branch information
bielsnohr committed Oct 25, 2024
2 parents c622697 + 2d0831a commit 8cc01e5
Showing 1 changed file with 1 addition and 9 deletions.
10 changes: 1 addition & 9 deletions _episodes/24-diagnosing-issues-improving-robustness.md
Original file line number Diff line number Diff line change
Expand Up @@ -749,15 +749,7 @@ you may cause yourself some trouble which may be difficult to trace).
It may be hard to remember to run linter tools every now and then.
Luckily, we can now add this Pylint execution to our continuous integration builds
as one of the extra tasks.
Since we are adding an extra feature to our CI workflow,
let us start this from a new feature branch from the `develop` branch:
~~~
$ git switch -c pylint-ci develop # note a shorthand for creating a branch from another and switching to it
~~~
{: .language-bash}
Then to add Pylint to our CI workflow,
To add Pylint to our CI workflow,
we can add the following step to our `steps` in `.github/workflows/main.yml`:
~~~
Expand Down

0 comments on commit 8cc01e5

Please sign in to comment.