-
Notifications
You must be signed in to change notification settings - Fork 467
Open
Labels
releasePR or issue for releasing a new dune versionPR or issue for releasing a new dune version
Description
Preparation
- Create release candidate branch
3.22.1-rcfrom last point tag3.22.1-1 - Open release draft PR from branch
3.22.1-rcintomain[link to dune PR]
Fixes
Regressions requiring fixes in main and backports to 3.22.1-rc:
- result* pattern in .gitignore is overly broad #13892
- fix fix: overly broad wildcard in .gitignore #13893
- backported via PR #...
- dune 3.22.0 bootstrap fails on Windows < 8 — GetSystemTimePreciseAsFileTime not found in KERNEL32.dll #13871
- fix time_stubs.c: add fallback for Windows 7 #13905
- followup fix for warning fix(time): address warning on Windows in time_stubs.c #13914
- backported via PR #...
- Revert the behavior of --diff-command wrt to non-existent files #13891
- fix...
- backported via PR #...
- 3.22.0 crash due to an internal error #13904
- repro test(runtest): dune test without a default context #13913
- fix...
- backported via PR #...
-
dune trace cat --chrome-tracehas wrong timing units #13906- repro test: chrome trace timestamp magnitude #13907
- fix fix(trace): use microseconds for chrome trace timestamps #13911
- backported via PR #...
- 3.22.0 does not build on systems without clock_gettime: how better to fix it? #13917
- NOTE: Depends on the Windows 7 fixes above.
- fix fix(time): old macos fallback #13918
- backported via PR #...
- pkg: OpenBSD tar still lacks -z in 3.22.0_alpha2 #13823
- (non-blocking)
- repro...
- fix...
- backported via PR #...
Release
- opam repo publication PR [link to opam PR]
- After opam-ci results are available, Review revdeps diff and diagnose any
new failures [link to diagnostic comment] - merge opam repo PR (or address problems and cut a new release)
Post-release
- Merge release branch into
main[link to dune PR] - Write a post about the release on Discuss [link to post]
- Store the revdeps error file in the logs as HTML
Reactions are currently unavailable
Metadata
Metadata
Labels
releasePR or issue for releasing a new dune versionPR or issue for releasing a new dune version