Skip to content

chore: sync main branch to development#16

Merged
typeslint-cli[bot] merged 5 commits intodevelopmentfrom
main
Feb 23, 2023
Merged

chore: sync main branch to development#16
typeslint-cli[bot] merged 5 commits intodevelopmentfrom
main

Conversation

@Muunatic
Copy link
Copy Markdown
Member

  • build: build pullRequestEvent for owner
  • chore: remove unused test
  • chore: add strictNullChecks rules
  • chore: change github lint scripts
  • chore(release): 2.2.1 Release

@Muunatic
Copy link
Copy Markdown
Member Author

merge

@typeslint-cli typeslint-cli Bot merged commit 8097eb4 into development Feb 23, 2023
@Muunatic Muunatic added this to the v3.0.0 milestone Nov 7, 2023
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.

1 participant