• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

MinaProtocol / deb-toolkit / 29956680105 / 1
83%
main: 83%

Build:
DEFAULT BRANCH: main
Ran 22 Jul 2026 08:50PM UTC
Files 17
Run time 0s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

22 Jul 2026 08:48PM UTC coverage: 83.156% (+0.008%) from 83.148%
29956680105.1

push

github

dkijania
session reversion: rewrite all version operators unconditionally (match bash)

Fixes #12.

deb-session-reversion.sh (whose mina callers invoke it with no flag)
rewrites the old version to the new one across every versioned
dependency constraint on every reversion. deb-toolkit did this only
under --update-deps, and even then only for exact `=` pins, leaving
`>=`/`<<`/etc. alone on the theory that a looser constraint is still
satisfied by a higher version.

That theory fails for mina: reversions are not monotonic (manager.sh
reversions to an arbitrary target, e.g. a fork build 3.4.0-rc2-company
-<hash> down to a clean 3.4.0-rc2). On a downward reversion a stale
`(>= old)` is unsatisfiable and the package will not install.

Changes:
- replace_in_constraint rewrites all Debian relation operators
  (=, <<, <=, >=, >>), matching the operator as a prefix so both
  `(<< X)` and `(=X)` — mina emits both — are handled.
- reversion performs the dependency rewrite unconditionally; the
  --update-deps CLI flag and update_deps manifest field are kept,
  accepted, and ignored (deprecated) so existing callers/manifests
  keep working. The flag now warns.
- rewrite stays constraint-scoped (inside `(...)`), so a version-like
  substring in a package name is never mangled — an improvement over
  the bash bare-substring pass.

Verified against the bash scripts on a realistic downward reversion
with mixed `(=X)`/`(<< X)` formats: control fields are now identical.

1871 of 2250 relevant lines covered (83.16%)

10.61 hits per line

Source Files on job 29956680105.1
  • Tree
  • List 17
  • Changed 4
  • Source Changed 4
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 29956680105
  • 52a5954f on github
  • Prev Job for on main (#29939310311.1)
  • Delete
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE TRIAL · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc