aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-07-02 01:06:58 +0200
committerClombrong <cromblong@egregore.fun>2025-07-26 21:55:50 +0200
commit6ac86e89debfd98746457fea98e7d1361865e780 (patch)
tree5caee8684bcf1ed64c1e5222ae5ef304dd023f6d /dune-project
parent9d2e9c106aafa53e8d877984b6c2de4b64e3df9f (diff)
test(jid): re-promote tests according to new show
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions