Skip to content
This repository has been archived by the owner on Aug 24, 2024. It is now read-only.

Switch to using Lean to run the tests (so it runs on Windows) #31

Merged
merged 15 commits into from
Sep 8, 2022

doc: fix readme

f9a7f68
Select commit
Loading
Failed to load commit list.
Merged

Switch to using Lean to run the tests (so it runs on Windows) #31

doc: fix readme
f9a7f68
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs