Mynacol 1a2fc30c43 leanify: Add simple check ...

Check that the executable is where it's expected and that it can be
executed. The command is expected to fail with `Map file error: Invalid argument`.
However, it returns with return value 0.

2024-05-31 17:34:14 +02:00

..

default.nix

leanify: Add simple check

2024-05-31 17:34:14 +02:00