Skip to content
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

Add markdown linter workflow #363

Merged
merged 2 commits into from
Dec 3, 2024

Conversation

mcbarton
Copy link
Collaborator

@mcbarton mcbarton commented Dec 2, 2024

This PR should add a markdown linter workflow. This workflow can be expanded in future to check other file formats.

@mcbarton mcbarton requested a review from vgvassilev December 2, 2024 21:14
Copy link

codecov bot commented Dec 2, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 74.55%. Comparing base (f794dee) to head (178ab2c).
Report is 4 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #363   +/-   ##
=======================================
  Coverage   74.55%   74.55%           
=======================================
  Files           8        8           
  Lines        3211     3211           
=======================================
  Hits         2394     2394           
  Misses        817      817           

@mcbarton
Copy link
Collaborator Author

mcbarton commented Dec 2, 2024

I will edit a markdown file tomorrow to check the workflow works, see what the linter detects and fix what it detects so it passes.

@mcbarton mcbarton force-pushed the Add-markdown-linter branch from 645a4e5 to 178ab2c Compare December 3, 2024 16:06
@mcbarton
Copy link
Collaborator Author

mcbarton commented Dec 3, 2024

@vgvassilev This PR is ready for review now that I have fixed the issues raised by the markdown linter.

Copy link
Contributor

@vgvassilev vgvassilev left a comment

Choose a reason for hiding this comment

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

LGTM!

@mcbarton mcbarton merged commit 056118a into compiler-research:main Dec 3, 2024
43 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants