-
Notifications
You must be signed in to change notification settings - Fork 23
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
test: reflect language changes #460
Conversation
The failing CI run seems to not include the most recent commit. Weird. Can we try retriggering it? |
I retriggered CI |
@LoZander @sockmaster27 In terms of highlighting. What do you think makes the most sense? |
This reverts commit 2d5a479.
Tests still fail. Its strange. |
No clue. Could it be an error on GitHub's end? |
It seems unlikely. Its probably a bug in our code. Maybe insert a lot of prints? |
I got the same error when running the tests before the second commit, but now it passes for me. |
😮 |
I could try to merge the PR and see what happens? |
Might as well try. |
I tried, so now I suppose we need another fake PR to test? |
Related to flix/flix#9236