Skip to content

chore: migrate Travis CI to GitHub Actions#106

Closed
kianmeng wants to merge 1 commit intokbrw:masterfrom
myfloss:move-travis-ci-to-github-ci
Closed

chore: migrate Travis CI to GitHub Actions#106
kianmeng wants to merge 1 commit intokbrw:masterfrom
myfloss:move-travis-ci-to-github-ci

Conversation

@kianmeng
Copy link
Contributor

@kianmeng kianmeng commented Nov 5, 2025

No description provided.

@Shakadak
Copy link
Member

Hello, could you split out the migration from the fix for #105 ? 🙏
I would like to have some analysis done on the consquences as this is a breaking change layered on top of the breaking change from OTP

@kianmeng
Copy link
Contributor Author

@Shakadak Reverting the changes made to the test files?

@Shakadak
Copy link
Member

Yes, you can open a new pull request with the changes to the test files, though I may not have much time to deal with it this week. I'll ask around if someone else could handle it.

thanks :)

@kianmeng kianmeng force-pushed the move-travis-ci-to-github-ci branch from aba5595 to e968a85 Compare November 12, 2025 15:39
@kianmeng
Copy link
Contributor Author

@Shakadak Changes to test files reverted.

@kianmeng
Copy link
Contributor Author

Yes, you can open a new pull request with the changes to the test files, though I may not have much time to deal with it this week. I'll ask around if someone else could handle it.

@Shakadak PR added, #108

@Krapaince
Copy link
Contributor

Krapaince commented Jan 15, 2026

Commit f3c3d27 added to the master branch.
I added a condition to run the ci only if the pull request targets the master branch.

  pull_request:
    branches:
      - master

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.

3 participants