Skip to content
This repository has been archived by the owner on Oct 26, 2023. It is now read-only.

Migrate to GitHub actions #5

Merged
merged 1 commit into from
Jul 4, 2022
Merged

Migrate to GitHub actions #5

merged 1 commit into from
Jul 4, 2022

Conversation

mdio
Copy link
Contributor

@mdio mdio commented Jul 4, 2022

Travis-CI no longer works

Travis-CI no longer works
@mdio mdio merged commit b5c7eff into master Jul 4, 2022
@mdio mdio deleted the migrate-to-travis-ci branch July 4, 2022 12:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant