You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Task Description
When online editing a markdown file in Github there is often a problem that the format check fails which makes it necessary to check out the file locally to fix formatting. We should turn off md formatting in PRs.
Sub-tasks
Review ci-test workflow
Related Issues
Link to related issues or tasks, if any.
Additional Context
Add any other context or information here.
The text was updated successfully, but these errors were encountered:
edda
changed the title
[Task](ci): review and verify need of formatting markdown files within a pull request (PR)
[Task](ci): fix formatting for markdown files in PRs
Oct 17, 2024
Task Description
When online editing a markdown file in Github there is often a problem that the format check fails which makes it necessary to check out the file locally to fix formatting. We should turn off md formatting in PRs.
Sub-tasks
Related Issues
Link to related issues or tasks, if any.
Additional Context
Add any other context or information here.
The text was updated successfully, but these errors were encountered: