summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith
diff options
context:
space:
mode:
authorPaul-Nicolas Madelaine2023-10-23 18:00:34 +0200
committerPaul-Nicolas Madelaine2023-10-23 18:00:34 +0200
commitc184adf70c23fe2c0f3b0b727918ca32e94e673a (patch)
treee7d7c03167d9036954a6719f02bd44dda96e7d14 /backends/lean/Base/Arith
parent40ed38216499ea1bf58b8acbcd05b2cd97329830 (diff)
ci: hydra -> github runner
Diffstat (limited to 'backends/lean/Base/Arith')
0 files changed, 0 insertions, 0 deletions