Skip to content

Switch CI badge from Travis to Github Actions#6118

Closed
mjjbell wants to merge 1 commit intoProject-OSRM:masterfrom
mjjbell:mbell/github_actions_badge
Closed

Switch CI badge from Travis to Github Actions#6118
mjjbell wants to merge 1 commit intoProject-OSRM:masterfrom
mjjbell:mbell/github_actions_badge

Conversation

@mjjbell
Copy link
Copy Markdown
Member

@mjjbell mjjbell commented Sep 4, 2021

@mjjbell
Copy link
Copy Markdown
Member Author

mjjbell commented Sep 27, 2021

Closed in favour of #6136

@mjjbell mjjbell closed this Sep 27, 2021
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.

1 participant