Skip to content

Conversation

@jwasinger
Copy link
Contributor

(Apparently I can no longer open PRs with this field left blank)

@jwasinger
Copy link
Contributor Author

jwasinger commented Sep 24, 2020

Images are updated as well. This should have been caught and merged in #170 but a typo prevented the CI from failing when it should have.

@jwasinger jwasinger merged commit 1c67a06 into master Sep 24, 2020
@jwasinger jwasinger deleted the ci branch September 24, 2020 05:44
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.

2 participants