diff options
| author | Son HO | 2024-04-26 10:54:26 +0200 |
|---|---|---|
| committer | GitHub | 2024-04-26 10:54:26 +0200 |
| commit | 2df6dd65b84a2fd9aad4f716f323bf3f85bf82db (patch) | |
| tree | 303766a9be2889fb7841526c6c671912db8e478e /backends/lean/lean-toolchain | |
| parent | a3e38d5f47e4780768902e49e28e471e38efd40a (diff) | |
| parent | eb519e0e56d30763db6ca6667a9f4095061252a4 (diff) | |
Merge pull request #158 from RaitoBezarius/lean-ci-under-nix
chore(ci): move Lean CI under Nix
Diffstat (limited to 'backends/lean/lean-toolchain')
0 files changed, 0 insertions, 0 deletions