- Successful make test:
Test Summary
96 passed, 0 failed, 96 total
Wall time: 11.7s
For every {151amd64, 144amd64, 144i386}:
- Successful poudriere testport
- Successful run-testing
Details
Details
- Reviewers
arrowd - Commits
- R11:c3ee0d25f047: math/z3: Update 5.0.0.0 => 5.1.0.0
Diff Detail
Diff Detail
- Repository
- R11 FreeBSD ports repository
- Lint
No Lint Coverage - Unit
No Test Coverage - Build Status
Buildable 75643 Build 72526: arc lint + arc unit
Event Timeline
Comment Actions
I've just looked at PR 297106 [0], where you've approved this and just copied the list of the consumers...
May commit with or without bumping, as you like. Just tried to do it most safe way.
[0] https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=297106