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

MinaProtocol / deb-toolkit
83%

Build:
DEFAULT BRANCH: main
Repo Added 22 Jul 2026 07:45AM UTC
Token t08o007UmdNSYllvZfn9ykGNioLUKnVfX regen
Build 4 Last
Files 17
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

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x
Reset
Sync Branches
  • main
  • ci/add-coverage
  • fix/reversion-all-operators

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

Relevant lines Covered
Build:
Build:
2250 RELEVANT LINES 1871 COVERED LINES
10.61 HITS PER LINE
Source Files on main
  • Tree
  • List 17
  • Changed 4
  • Source Changed 4
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
29956680105 main 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... push 22 Jul 2026 08:50PM UTC dkijania github
83.16
29939310311 main Emit Depends and the 8 other dropped control fields format_control_file emitted a hardcoded 12 fields, silently discarding Depends, Pre-Depends, Recommends, Suggests, Conflicts, Replaces, Provides, Vendor and Authors even though the CLI accepts t... push 22 Jul 2026 04:45PM UTC dkijania github
83.15
See All Builds (4)

Badge your Repo: deb-toolkit

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

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

Refresh
  • Settings
  • Repo on GitHub
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