Skip to content

Comments

Remove deprecated Travis CI scripts#199

Merged
kou merged 1 commit intored-data-tools:masterfrom
kojix2:travis
May 4, 2025
Merged

Remove deprecated Travis CI scripts#199
kou merged 1 commit intored-data-tools:masterfrom
kojix2:travis

Conversation

@kojix2
Copy link
Member

@kojix2 kojix2 commented May 4, 2025

Remove the ci/ directory and legacy CI scripts

  • The project has migrated to GitHub Actions, and the scripts under ci/ are no longer used.
  • Cleaning them up improves maintainability and reduces confusion.

See 71f124c

@kojix2
Copy link
Member Author

kojix2 commented May 4, 2025

Ran grep -r "travis" — only matches were inside the .git directory.
Confirmed with grep -r --exclude-dir=.git 'travis' . — no matches found.

@kou kou merged commit 7c2e995 into red-data-tools:master May 4, 2025
34 of 41 checks passed
@kojix2 kojix2 deleted the travis branch May 4, 2025 05:20
@kojix2 kojix2 mentioned this pull request May 5, 2025
Open
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

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@kojix2 @kou