Skip to content

README: fix CI badge#563

Merged
woodruffw merged 1 commit intomasterfrom
ww/fix-badge
Sep 14, 2023
Merged

README: fix CI badge#563
woodruffw merged 1 commit intomasterfrom
ww/fix-badge

Conversation

@woodruffw
Copy link
Member

Previous badge pointed to Travis, which is long gone.

Previous badge pointed to Travis, which is long gone.
@woodruffw woodruffw self-assigned this Sep 14, 2023
@woodruffw woodruffw merged commit 9cb8adc into master Sep 14, 2023
@woodruffw woodruffw deleted the ww/fix-badge branch September 14, 2023 03:50
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Oct 15, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant