Skip to content

Add sphinx-lint to the ci workflow and Makefile. #496

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Merged
cschan1828 merged 8 commits into from
Dec 9, 2023
Merged

Add sphinx-lint to the ci workflow and Makefile. #496

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
19e8def
Add sphinx-lint to the ci workflow and Makefile.
ezio-melotti Jul 20, 2023
6f7d53b
Move the lint check before the Validate step.
ezio-melotti Jul 21, 2023
f257955
Enable the `default-role` check.
ezio-melotti Jul 21, 2023
c5462a9
Add a `push` trigger to the CI workflow.
ezio-melotti Jul 22, 2023
0023632
Merge branch '3.12' into add-linter
ezio-melotti Jul 24, 2023
3c469b0
Merge branch '3.12' into add-linter
ezio-melotti Jul 25, 2023
dd21235
Remove linting step from ci.yml
ezio-melotti Oct 12, 2023
f918d65
Remove push trigger from ci.yml
ezio-melotti Oct 12, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Move the lint check before the Validate step.
  • Loading branch information
@ezio-melotti
ezio-melotti committed Jul 21, 2023
commit 6f7d53bc69ebfcee2904948531f6867c7ae3822b
6 changes: 3 additions & 3 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,11 @@ jobs:
steps:
- uses: actions/checkout@v2

- name: Lint
Copy link
Copy Markdown
Collaborator

@cschan1828 cschan1828 Sep 2, 2023

Choose a reason for hiding this comment

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

@ezio-melotti may you remove this? We can provide this linter in our tool set but I don't think it is ready for production use.

Copy link
Copy Markdown
Member Author

@ezio-melotti ezio-melotti Oct 12, 2023

Choose a reason for hiding this comment

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

I now removed this. Let me know if there is anything else I should do before we merge this. You can also ping me on Discord if you want to talk about what should be changed in the workflow and/or sphinx-lint to make it suitable for this repo.

run: make lint

- name: Install Dependencies
run: sudo apt-get install gettext

- name: Validate
run: VERSION=${{ github.event.pull_request.base.ref }} MODE=dummy make all

- name: Lint
run: make lint