mirror of
https://github.com/modrinth/awesome.git
synced 2026-07-16 19:32:13 -05:00
[PR #23] [CLOSED] add CI #21
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/modrinth/awesome/pull/23
Author: @tristan-f-r
Created: 1/11/2023
Status: ❌ Closed
Base:
master← Head:ci📝 Commits (1)
9b75ed5ci: add ci📊 Changes
1 file changed (+14 additions, -0 deletions)
View changed files
➕
.github/workflows/ci.yml(+14 -0)📄 Description
This adds
awesome-lintCI, which automatically reports issues that don't coincide with awesome-lint.Do note that this repository violates a few linting rules a lot, so if needs be, I can fix the issues:
If you want to see for yourself, run
npx awesome-linton this (locally cloned) fork.P.S: why are issues disabled in this repository?
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.