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

MinaProtocol / deb-toolkit / 29956680105
83%

Build:
DEFAULT BRANCH: main
Ran 22 Jul 2026 08:50PM UTC
Jobs 1
Files 17
Run time 1min
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

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.

35 of 37 new or added lines in 4 files covered. (94.59%)

1 existing line in 1 file now uncovered.

1871 of 2250 relevant lines covered (83.16%)

10.61 hits per line

Uncovered Changes

Lines Coverage ∆ File
1
89.29
-0.62% src/main.rs
1
97.4
0.14% src/session/control.rs

Coverage Regressions

Lines Coverage ∆ File
1
94.47
-0.13% src/session/apply.rs
Jobs
ID Job ID Ran Files Coverage
1 29956680105.1 22 Jul 2026 08:50PM UTC 17
83.16
GitHub Action Run
Source Files on build 29956680105
  • Tree
  • List 17
  • Changed 4
  • Source Changed 4
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #29956680105
  • 52a5954f on github
  • Prev Build on main (#29939310311)
  • 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