summaryrefslogtreecommitdiff
path: root/tests/lean
diff options
context:
space:
mode:
authorSon HO2024-04-26 10:54:26 +0200
committerGitHub2024-04-26 10:54:26 +0200
commit2df6dd65b84a2fd9aad4f716f323bf3f85bf82db (patch)
tree303766a9be2889fb7841526c6c671912db8e478e /tests/lean
parenta3e38d5f47e4780768902e49e28e471e38efd40a (diff)
parenteb519e0e56d30763db6ca6667a9f4095061252a4 (diff)
Merge pull request #158 from RaitoBezarius/lean-ci-under-nix
chore(ci): move Lean CI under Nix
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions