summaryrefslogtreecommitdiff
path: root/compiler/SCC.ml
diff options
context:
space:
mode:
authorNadrieril2024-04-16 11:41:21 +0200
committerNadrieril2024-04-16 11:41:21 +0200
commit621b8fff5dcd8ad481fd151c8e0fea6e7438d070 (patch)
treea1c9dbb932960c94d4aadf54dd0bf6f7b6a5383d /compiler/SCC.ml
parent2545ad25384156d7d8d798567bc922be798a20e3 (diff)
Run sanity checks in CI only
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions