summaryrefslogtreecommitdiff
path: root/compiler/dune-project
diff options
context:
space:
mode:
authorNadrieril2024-05-14 16:08:25 +0200
committerNadrieril2024-05-14 16:08:25 +0200
commit63680b7bd578b4153606bd5b37fd6563c933eb0d (patch)
treef1f1c33876972f7ed2216f9ca532961213662a36 /compiler/dune-project
parent0d5ef8ac5abc49e5adabee97edbb7ff712bd8d10 (diff)
ci: cancel jobs after force-push to a branch
Diffstat (limited to 'compiler/dune-project')
0 files changed, 0 insertions, 0 deletions