Skip to content

Added lint task to CI#904

Merged
david-driscoll merged 1 commit intomasterfrom
feature/ci-lint
Nov 21, 2023
Merged

Added lint task to CI#904
david-driscoll merged 1 commit intomasterfrom
feature/ci-lint

Conversation

@david-driscoll
Copy link
Copy Markdown
Member

No description provided.

@github-actions github-actions Bot added this to the v12.0.1 milestone Nov 21, 2023
@david-driscoll david-driscoll enabled auto-merge (squash) November 21, 2023 16:32
@david-driscoll david-driscoll merged commit 445afce into master Nov 21, 2023
@david-driscoll david-driscoll deleted the feature/ci-lint branch November 21, 2023 16:35
@github-actions github-actions Bot added the ✨ mysterious We forgot to label this label Nov 21, 2023
@rsg-bot rsg-bot modified the milestones: v12.0.1, v12.1.0 Feb 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

✨ mysterious We forgot to label this

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants