Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

chore: release v13.0.0-alpha.7 #1186

Merged
merged 1 commit into from
Nov 10, 2024
Merged

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Oct 31, 2024

🤖 New release

  • tokei: 13.0.0-alpha.6 -> 13.0.0-alpha.7 (✓ API compatible changes)
Changelog

13.0.0-alpha.7 - 2024-11-10

Other

  • Fix alternative output formats (#1188)
  • Add missing extension fsti for F* (#1184)


This PR was generated with release-plz.

@github-actions github-actions bot force-pushed the release-plz-2024-10-31T08-47-50Z branch from cbbd59e to fda2e3f Compare November 10, 2024 09:18
@XAMPPRocky XAMPPRocky merged commit 837fe44 into master Nov 10, 2024
@XAMPPRocky XAMPPRocky deleted the release-plz-2024-10-31T08-47-50Z branch November 10, 2024 09:35
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant