diff options
author | Son HO | 2023-10-23 18:05:40 +0200 |
---|---|---|
committer | GitHub | 2023-10-23 18:05:40 +0200 |
commit | 7fc7c82aa61d782b335e7cf37231fd9998cd0d89 (patch) | |
tree | e7d7c03167d9036954a6719f02bd44dda96e7d14 /tests/lean/Hashmap/Properties.lean | |
parent | 40ed38216499ea1bf58b8acbcd05b2cd97329830 (diff) | |
parent | c184adf70c23fe2c0f3b0b727918ca32e94e673a (diff) |
Merge pull request #43 from AeneasVerif/pnmadelaine-ci
Replace Hydra with Github runners
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions