mbarbin / auto-format / 136

Committed 15 May 2026 02:48PM UTC coverage: 58.738% (-27.2%) from 85.922%

Build # 136

Build Type

push

github

Committed by

mbarbin

Commit Message

Remove rm step in CI causing dune IO errors

- It is no longer clear why we needed this in the first place. It's possible in
the long run an improvement would be to avoid caching _build entirely if this is
largely superseded by relocatable+dune-cache. TBD.

Coverage Stats

121 of 206 relevant lines covered (58.74%)

2.78 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

/src/stdlib/list0.ml

1	(****************************************************************************)
2	(* auto-format: Build auto-format commands for custom languages *)
3	(* SPDX-FileCopyrightText: 2023 Mathieu Barbin <mathieu.barbin@gmail.com> *)
4	(* SPDX-License-Identifier: MIT *)
5	(****************************************************************************)
6
7	include Stdlib.ListLabels
8
9	let exists t ~f = exists ~f t	×
10	let filter t ~f = filter ~f t	×
11	let map t ~f = map ~f t	×
12	let sort t ~compare = sort ~cmp:compare t	×

mbarbin / auto-format / 136

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous