Skip to content

chore: add org reusable CI for docs#4

Merged
Sagargupta16 merged 1 commit into
mainfrom
chore/add-org-ci
May 22, 2026
Merged

chore: add org reusable CI for docs#4
Sagargupta16 merged 1 commit into
mainfrom
chore/add-org-ci

Conversation

@Sagargupta16

Copy link
Copy Markdown
Member

Follow-up to MCA-NITW/.github#9.

Adds CI to a previously CI-free docs repo. Two checks now run on every PR: markdown linting + dead-link check, and security scan. Markdownlint config is relaxed (academic notes have long lines, embedded math, varying heading patterns).

Repo had zero CI before this. Adds:
- ci.yml calling markdown-check + security-scan from mca-nitw/.github
- .markdownlint.yml: relaxed config for academic notes
  (allows long lines, inline HTML, math fences without language tag)
- renovate.json reduced to extending shared preset

The markdown-check reusable runs markdownlint and lychee dead-link
check (continue-on-error so a single broken external URL doesnt
block PRs).
@github-advanced-security

Copy link
Copy Markdown

You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool.

What Enabling Code Scanning Means:

  • The 'Security' tab will display more code scanning analysis results (e.g., for the default branch).
  • Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results.
  • You will be able to see the analysis results for the pull request's branch on this overview once the scans have completed and the checks have passed.

For more information about GitHub Code Scanning, check out the documentation.

@codacy-production

Copy link
Copy Markdown

Up to standards ✅

🟢 Issues 0 issues

Results:
0 new issues

View in Codacy

NEW Get contextual insights on your PRs based on Codacy's metrics, along with PR and Jira context, without leaving GitHub. Enable AI reviewer
TIP This summary will be updated as you push new changes.

@Sagargupta16 Sagargupta16 merged commit 13eab73 into main May 22, 2026
6 of 7 checks passed
@Sagargupta16 Sagargupta16 deleted the chore/add-org-ci branch May 22, 2026 03:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants