Build History for branch/main

Update ocaml version in CI

Update crs-config.json and crs.yml to crs version 0.0.20260202 Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Update changelog

Merge pull request #177 from mbarbin/enclosing-dune-lang-version Enclosing dune lang version

Merge pull request #176 from mbarbin/improve-build-context Add a new test and a small refactor to reduce a local code dup

Use phys_equal name for physical equality check

Merge pull request #175 from mbarbin/windtrap-instrumentation Enhance instrumentation backend repr to support additional flags

Merge pull request #174 from mbarbin/libraries.mem-predicate Libraries.mem predicate

Upgrade crs workflows

Merge pull request #173 from mbarbin/setup-dune.cache-readonly Use cache-readonly to optimize GitHub Actions cache usage

Add spell entries

Merge pull request #172 from mbarbin/mem-edsl-keyword Library modes `mem` edsl keyword

Merge pull request #171 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune

Increase lower bound on loc dependency The goal is to simplify lower bound checks and avoid supporting too many combinations. `loc.0.3.3` does not add new transitive dependencies and I'd like to retire the support for the `loc.0.2.*` packages.

Increase lower bounds for maintainance

Remove root dune-workspace It is unused and causes some build issues in CI workflows using [dune.3.17].

Merge pull request #167 from mbarbin/upgrades-for-dune-3.21 Upgrades for dune 3.21

Merge pull request #165 from mbarbin/test-dune-constraint Add a constraint preventing new dune for the tests

Upgrade crs-actions to v1.0.0-alpha.9

Improve default settings for GHA permissions

Set more-ci default shell to bash

Remove workflow subsumed by more-ci

Remove workflow merged into more-ci

Edit changelog

Add version in migration guide

Prepare release

Document using reformatter for dunolint files

Various doc updates

Simplify internal sexps for big records with empty fields

Fix location of sexp error on invalid atoms

Merge pull request #159 from mbarbin/fix-enforce-absent-fields Fix enforce on absent public_name field

Edit Changelog

Add support for enforcing inline_tests field in library stanzas Add `inline_tests` to the `has_field` predicate for library stanzas, allowing dunolint rules to enforce its presence or absence. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Merge pull request #156 from mbarbin/env.dune_root Add support for DUNE_ROOT environment variable

Fix coverage

Make stdlib public As it turns out, making it private breaks the build on downstream usages of dunolint in code linking with it as a dep library. They appear for example to miss the type equality between [Dunolint_stdlib.Sexp] and [Sexplib0.Sexp].

Edit changelog

Edit changelog

Add dune-workspace file in workspace

Edit changelog

Fix coverage

Use stdlib equal on these flat variants

Remove compare functions from Predicate modules The compare operations on Predicates were not being used. With no actual use case, we're removing them to simplify the codebase. We're keeping equal.

Remove redundant skip_paths from local config These paths are now automatically added by the application via default_skip_paths_config() in common_helpers.ml, making the local config entries redundant. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Merge pull request #148 from mbarbin/improve-test-lint-dunolint-file Simplify lint-dunolint-file.t by removing duplicated tests

Edit changelog

Merge pull request #146 from mbarbin/init-dunolint-linter Init linter for `dunolint` files

Update changelog

Bump actions/checkout from 5 to 6 Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v5...v6) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>

Upgrade actions/checkout to v6 in CI

Merge pull request #144 from mbarbin/improve-vendor-header Improve vendor header

Use local exception instead of with_return

Merge pull request #143 from mbarbin/directory-structure Refactor pkg directory structure

Merge pull request #142 from mbarbin/remove-path-dep Remove path dep (not used anymore)

Merge pull request #141 from mbarbin/remove-config-v0 Remove support for config format version `v0`

Merge pull request #137 from mbarbin/tweak-improve-tests Tweak improve tests

Merge pull request #136 from mbarbin/ocaml-5.4-in-ci Enable OCaml 5.4 in CI

OCaml 5.4 ci transition (Wip) - Suggest adding `alpha` repo when needed

Upgrade to ocamlformat.0.28.1

Simplify explanation doc introduction

Improve release-artifacts job - Name platform specific section clearly - Move to a new section platform independent artifacts (if any) and only enable the job on one canocial runner (ubuntu-latest) to fix the current duplication.

Upgrade and pin actions/upload-pages-artifact to current v4

Merge pull request #133 from mbarbin/fpath-base.0.4.0 Upgrade to and require fpath-base 0.4.0

Merge pull request #132 from mbarbin/add-lint-test Add lint test

Merge pull request #131 from mbarbin/upgrade-crs.0.0.20251014 Upgrade crs.0.0.20251014

Upgrade node and setup-node in doc CI (docusaurus)

Lint

Merge pull request #130 from mbarbin/tweaks-for-zanuda Tweaks (zero change refactors inspired by Zanuda Alerts)

Use config autoload in ./dunolint.sh

Prepare changelog

Merge pull request #129 from mbarbin/document-autoloading Document autoloading feature

Add changelog entries

Merge pull request #128 from mbarbin/test-config-cache Add test for config cache

Merge pull request #127 from mbarbin/config-autoloading Implement dunolint config files autoloading

Merge pull request #126 from mbarbin/located-path-refactor Located path refactor

Merge pull request #125 from mbarbin/enable-default-skip-paths Always include default skip paths in configs

Merge pull request #124 from mbarbin/context-refactor Context refactor

Merge pull request #123 from mbarbin/preparation-refactors Preparation refactors

Merge pull request #122 from mbarbin/config-handler Prepare for more sharing

Merge pull request #121 from mbarbin/path-in-workspace Add helpers for path in workspace

Merge pull request #120 from mbarbin/fix-workspace-root-in-test Fix workspace root in dune test envs

Merge pull request #113 from mbarbin/test-workspaces Make dunolint aware of and use dune workspaces

Merge pull request #118 from mbarbin/rm-lint-file-enforce Remove support for `--enforce` in lint-file tool

Merge pull request #115 from mbarbin/first-run-tutorial Add First Run Through tutorial

Merge pull request #112 from mbarbin/fix-dune-version-parsing-error Fix dune version parsing error

Merge pull request #110 from mbarbin/upgrade-doc-1.0 Update doc for (lang dunolint 1.0)

Merge pull request #109 from mbarbin/pplumbing-pkgs Switch to split pplumbing pkgs

Hide setup steps in this doc by default

Initiate third-party license dir

Merge pull request #108 from mbarbin/upgrade-crs.0.0.20250914 Ugrade crs in gha to 0.0.20250914

Fix typo in version doc

Merge pull request #106 from mbarbin/tutorial-101 Add a Quick Start Tutorial

Lint

Update changelog

Edit changelog

Merge pull request #105 from mbarbin/lang-dunolint-1.0 Introducing `(lang dunolint 1.0)`

Merge pull request #104 from mbarbin/simplify-default-config-in-tests Simplify default config in tests

Merge pull request #103 from mbarbin/auto-load-root-dunolint Auto load root dunolint

Merge pull request #102 from mbarbin/dunolint-file Move the dunolint config at the root of the repo

Merge pull request #101 from mbarbin/change-dune-lang-sexp Change dune lang sexp

Merge pull request #100 from mbarbin/improve-unsupported-constructs-errors Improve unsupported constructs errors

Merge pull request #99 from mbarbin/dunolint-lib-base Dunolint lib base

Merge pull request #98 from mbarbin/use-versioned-sexp Always use versioned sexp to write configs

Merge pull request #97 from mbarbin/improve-load-config-errors Improve errors when loading invalid configs

Merge pull request #96 from mbarbin/versioned-config-format Versioned config format

Pin action-gh-release actions version

Pin version of reviewdog used in actions

Edit changelog

Merge pull request #89 from mbarbin/use-vcs Add volgo-vcs dependencies

Merge pull request #94 from mbarbin/upgrade-docusaurus Upgrade Docusaurus

Upgrade actions/attest-build-provenance

Upgrade actions/checkout in other workflows

Merge pull request #93 from mbarbin/dune-lang-version Dune lang version

Lint (headache)

Merge pull request #92 from mbarbin/support-false-hidden-includes Support implicit trans deps `false-hidden-includes-supported` value

Merge pull request #91 from mbarbin/increase-coverage Increase test coverage

Merge pull request #90 from mbarbin/increase-coverage-01 Continue increasing test coverage

Remove with-dev-setup marker for dependencies in the dev pkg

Update bounds for test and devs for dune.3.20

Fix lang dune stanza in tests

Merge pull request #87 from mbarbin/upgrade-crs-20250813 Upgrade crs

Merge pull request #86 from mbarbin/support-pps-sections Support pps sections

Merge pull request #85 from mbarbin/sections-handler Sections handler

Merge pull request #84 from mbarbin/handling-comments Handling comments & Comparable.S

Prepare changelog

Edit changelog

Merge pull request #83 from mbarbin/sort-open-via-flags Sort open via flags

Merge pull request #82 from mbarbin/simplify-open-via-flags Simplify insertion of library open-via-flags

Merge pull request #81 from mbarbin/ordered-set Support for ordered set and fix library modes

Merge pull request #80 from mbarbin/improve-reported-coverage Improve reported coverage

Switch commands to let+ style

Merge pull request #79 from mbarbin/wrap-cli More consistent cli commands and args doc strings

Upgrade CRs Workflows

Merge pull request #78 from mbarbin/update-crs Update CRs Workflows

Improve headache scripting

Attempt to avoid CI failures with 5.4.0~alpha1

Merge pull request #77 from mbarbin/cli-linter-tweak Cli linter tweak

Edit changelog

Merge branch 'subrepo' pull request #76

Merge pull request #21 from branch 'enable-macos-in-ci'

Merge pull request #75 from mbarbin/fix-cram Fix cram tests

Update README.md Add ocaml-ci badge

Update dependencies - Remove upper bound by default unless there is a known build issue; - Update some libraries to the latest published package on public opam-repository to faciliate maintenance.