diff options
author | Nadrieril | 2024-05-27 14:34:12 +0200 |
---|---|---|
committer | Nadrieril | 2024-05-27 14:40:34 +0200 |
commit | fb16d0af4caacd2c9a3463f6d2b455209b755697 (patch) | |
tree | 91c154b6fdc0384e6640e879e140633ffc9599bc /compiler/.ocamlformat | |
parent | 9c09789c26dd8142b8a29b42e250a685aa983e58 (diff) |
runner: Add `no-check-output` option for unstable outputs
Diffstat (limited to 'compiler/.ocamlformat')
0 files changed, 0 insertions, 0 deletions