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 /tests/coq/hashmap/_CoqProject | |
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 'tests/coq/hashmap/_CoqProject')
0 files changed, 0 insertions, 0 deletions