Skip to content

WIP: test #27178 on top of nightly-testing - #29669

Closed
Vierkantor wants to merge 10000 commits into
leanprover-community:masterfrom
Vierkantor:nightly-testing-plus-IsOrderedRing-toIsStrictOrderedRing
Closed

WIP: test #27178 on top of nightly-testing#29669
Vierkantor wants to merge 10000 commits into
leanprover-community:masterfrom
Vierkantor:nightly-testing-plus-IsOrderedRing-toIsStrictOrderedRing

Conversation

@Vierkantor

Copy link
Copy Markdown
Contributor

We've been having issues with typeclass timeouts on nightly-testing, so to avoid regressions, test PR #27178 on top of the nightly-testing branch.

If CI passes and we don't get large benchmark regressions, we should merge #27178 and close this PR.


Open in Gitpod

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-conflict The PR has a merge conflict with master, and needs manual merging. (this label is managed by a bot) WIP Work in progress

Projects

None yet

Development

Successfully merging this pull request may close these issues.

9 participants