Minutes October 06 2021 - math-comp/math-comp GitHub Wiki

CC: Someone pushed a commit with a #!/usr/bin/env and the nix package was not written with that in mind. One needs to use patchSheband. I pushed a fixed to nixpkgs.
- You must wait a few days after the merge for the commit to land in the "unstable" branch
- the multinomial failures will be fixed
Go through the 1.13.0 milestone and decide who does what and when (CD)
- https://github.com/math-comp/math-comp/pull/766
  - ok up to CI, assignee decided
- https://github.com/math-comp/math-comp/pull/771
  - assignee decided, TODO: rebase, squash up to authorship
- https://github.com/math-comp/math-comp/pull/782
  - ok, assignee decided
- https://github.com/math-comp/math-comp/pull/791
  - ok, TODO: change the order of the arguments for itvxx
- https://github.com/math-comp/math-comp/pull/789
  - TODO: apply the comment
- https://github.com/math-comp/math-comp/pull/772
  - newly milestoned
- https://github.com/math-comp/math-comp/pull/795
  - should this be milestoned?
- https://github.com/math-comp/math-comp/pull/757/
  - newly milestoned
Report:
- ET fixed a performance issue that would have prevented compilation of the odd order theorem
https://github.com/math-comp/math-comp/pull/709
- not ready at all
- put in the agenda of the next meeting
https://github.com/math-comp/math-comp/pull/788
- assignee and milestone decided