Opened 12 months ago
Closed 11 months ago
#32175 closed enhancement (fixed)
Support FLINT 2.8.0
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | critical | Milestone: | sage-9.4 |
Component: | packages: standard | Keywords: | |
Cc: | dimpase, fbissey, arojas | Merged in: | |
Authors: | Matthias Koeppe | Reviewers: | Dima Pasechnik |
Report Upstream: | N/A | Work issues: | |
Branch: | ff0c762 (Commits, GitHub, GitLab) | Commit: | ff0c762abb64bf847c9e5c07aa252640f5c01139 |
Dependencies: | #31525 | Stopgaps: |
Description (last modified by )
flint-2.8.0-beta1 was released 2021-07-09 https://groups.google.com/g/sage-devel/c/EPoTzfCz3lg/m/aofwmlpWAAAJ
This ticket serves as the target ticket of the proposed portability testing workflow for FLINT (https://github.com/wbhart/flint2/pull/972)
A patch to arb
is required.
Test ticket with the FLINT upgrade: #32211
Change History (14)
comment:1 Changed 12 months ago by
- Description modified (diff)
comment:2 Changed 11 months ago by
- Description modified (diff)
comment:3 Changed 11 months ago by
comment:4 Changed 11 months ago by
- Branch set to u/mkoeppe/support_flint_2_8_0
comment:5 Changed 11 months ago by
- Commit set to 2d4a8050554bf5238122e55ca549cf825cce659f
- Description modified (diff)
- Priority changed from major to critical
New commits:
2d4a805 | build/pkgs/arb/patches: Add https://github.com/fredrik-johansson/arb/commit/b6c8032e2da1b19eb7c5a5f5c2f3372643e3d170
|
comment:6 Changed 11 months ago by
- Status changed from new to needs_review
comment:7 Changed 11 months ago by
- Cc fbissey arojas added
comment:8 Changed 11 months ago by
- Reviewers set to Dima Pasechnik
- Status changed from needs_review to positive_review
lgtm
comment:9 Changed 11 months ago by
- Status changed from positive_review to needs_work
Normally adding a patch requires a revision bump.
comment:10 Changed 11 months ago by
- Commit changed from 2d4a8050554bf5238122e55ca549cf825cce659f to d8c9f4fc3d724018336ddad657b23964208c3587
Branch pushed to git repo; I updated commit sha1. New commits:
d8c9f4f | build/pkgs/arb/package-version.txt: Bump patch level
|
comment:11 Changed 11 months ago by
- Commit changed from d8c9f4fc3d724018336ddad657b23964208c3587 to ff0c762abb64bf847c9e5c07aa252640f5c01139
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
ff0c762 | build/pkgs/arb/package-version.txt: Bump patch level
|
comment:12 Changed 11 months ago by
- Status changed from needs_work to needs_review
comment:14 Changed 11 months ago by
- Branch changed from u/mkoeppe/support_flint_2_8_0 to ff0c762abb64bf847c9e5c07aa252640f5c01139
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
With #32211 I am getting