test: add workflow to run basic functional tests #11
Annotations
1 warning
|
run `lean-action` with on `lake init mathdep math` with test: false
Cache save failed.
|
The logs for this run have expired and are no longer available.
Loading