diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-28 10:03:32 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-28 10:03:32 +0200 |
| commit | 8ba98d24499bedbc2491bd56268ea4f69aaddb2f (patch) | |
| tree | 919c412b4814261f15c21f57f34d3fa8e7b92a72 /dune-project | |
| parent | b39c8187ef1b87eea084e3c3d2226be5cf320dca (diff) | |
| download | colitur-8ba98d24499bedbc2491bd56268ea4f69aaddb2f.tar.gz colitur-8ba98d24499bedbc2491bd56268ea4f69aaddb2f.zip | |
chore: 1.2.0
Two presentation flags and no change to what is computed. Nothing was removed
and no default output moved, so a minor bump.
The CHANGELOG entry for 1.1.0 is backfilled here: that release was tagged
without one, which would have left this file jumping 1.0.0 -> 1.2.0. Its
content is taken from the v1.1.0 tag message rather than reconstructed.
README's status section claimed the OF module lived on an unreleased branch
and counted 887 tests, and its build block advertised the fast suite at ~8s
and the exhaustive sweep at ~80s. Every one of those was true when written and
none is now: 909 fast (~40s), 916 under the sweep (~8min). Stale suite timings
are a defect this project has corrected once before, in 0.10.0.
Diffstat (limited to 'dune-project')
| -rw-r--r-- | dune-project | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dune-project b/dune-project index 246c0ad..9b47223 100644 --- a/dune-project +++ b/dune-project @@ -1,6 +1,6 @@ (lang dune 3.0) (name colitur) -(version 1.1.0) +(version 1.2.0) (generate_opam_files true) (cram enable) |