-
Notifications
You must be signed in to change notification settings - Fork 25
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
fix: Partially fix nightly build for 4.2 #131
fix: Partially fix nightly build for 4.2 #131
Conversation
Suspected as the reason nightly build looks green when it actually isn’t
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'm on board with merging this even though the 4.1 tests fail, to make sure that our next PR has to be one to fix those tests. However, do the settings on this repository allow us to merge a PR with failing tests?
…yway)" This reverts commit 09223c5.
When I cut this PR I thought I was just making progress on working against the latest nightly, but now I see that 4.1 has never worked. :( I'll merge this by temporarily changing the branch protection rules, just because I think turning the nightly build red as it should be is important for visibility as well. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Makes sense, thanks!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Let's see if we can get things working with 4.1 soon, but this is still better than it was. At least every PR gets the notification that it's still broken.
I've re-added 4.1 as a required check, so the CI is effectively broken on this repo now as intended. :) |
Only fixes the fact that the top-level workflow looks green even though the job fails (https://github.com/dafny-lang/libraries/actions/runs/5506948866) and adds
--compile-suffix
when necessary.By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.