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