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 /LICENSE.md | |
parent | e2e2e17c71ed389cd97b81f35d2bdcfad5c9c59c (diff) |
Use the self-hosted runner for the lean CI checks
Diffstat (limited to 'LICENSE.md')
0 files changed, 0 insertions, 0 deletions