diff options
| author | Nadrieril | 2024-06-24 14:44:10 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-06-24 14:44:10 +0200 |
| commit | 2adc05c2d34b7b4e2a6283748ca67f870eb340a3 (patch) | |
| tree | 41cdda9ef83734e913848b3a19ff1eb54b197789 /compiler/Translate.ml | |
| parent | e2e2e17c71ed389cd97b81f35d2bdcfad5c9c59c (diff) | |
Use the self-hosted runner for the lean CI checks
Diffstat (limited to 'compiler/Translate.ml')
0 files changed, 0 insertions, 0 deletions