Stream: Coq devs & plugin devs

Topic: PR Review

view this post on Zulip Jason Gross (Aug 18 2023 at 23:04):

Could I get review / an assignee on #17938 (adjusting the infrastructure in the test-suite file for nia a bit, in prep for handling more test cases). (#17933 is the PR that actually adds the extra test-cases, and #17934 (more power in Z.to_euclidean_division_equations) also depends on #17938)

view this post on Zulip Jason Gross (Nov 15 2023 at 01:35):

What is the status of https://github.com/coq/coq/pull/17920? It is a PR fixing a regression in 8.18 over 8.17 that I prepared before 8.18.0 was tagged, but which was not merged in time...

Last updated: Nov 29 2023 at 22:01 UTC