Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

chore: remove ci dir #627

Merged
merged 1 commit into from
Nov 27, 2024
Merged

chore: remove ci dir #627

merged 1 commit into from
Nov 27, 2024

Conversation

LoricAndre
Copy link
Contributor

@LoricAndre LoricAndre commented Nov 27, 2024 •
edited
Loading

Checklist

check the box if it is not applicable to your changes

  • I have updated the README with the necessary documentation
  • I have added unit tests
  • I have added end-to-end tests
  • I have linked all related issues or PRs
  • I have re-generated the completions and manpage using cargo xtask compgen and cargo xtask mangen

Description of the changes

@LoricAndre LoricAndre added this to the v0.14.0 milestone Nov 27, 2024
@LoricAndre LoricAndre merged commit be53f1f into master Nov 27, 2024
11 checks passed
@LoricAndre LoricAndre deleted the chore/remove-ci-dir branch November 27, 2024 20:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v0.14.0
Development

Successfully merging this pull request may close these issues.
1 participant
@LoricAndre