Skip to content

Conversation

@catap
Copy link
Contributor

@catap catap commented Apr 28, 2022

This PR closes #599 and #600

@catap
Copy link
Contributor Author

catap commented Apr 28, 2022

@SethTisue let's see.

To be honest I have no idea that happened with CircleCI.

@SethTisue
Copy link
Member

SethTisue commented Apr 28, 2022

maybe the changes I made to the CircleCI job names are somehow wrong and should be reverted? (@ashawley is it obvious to you what's going on there?)

(I thought changing the job names was an innocent change that would decrease the number of places version numbers need to be bumped, but it wouldn't be the first time my innocent hopes were dashed upon the rocks of reality)

@catap
Copy link
Contributor Author

catap commented Apr 28, 2022

@SethTisue yeah, now it should be green again.

@SethTisue SethTisue merged commit 25f1ce1 into scala:main Apr 29, 2022
@catap catap deleted the update branch April 29, 2022 06:55
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