Improve idris-filename-to-load
to return expected pair of dir and relative path depending on idris-protocol version
#258
Job | Run time |
---|---|
1m 29s | |
1m 31s | |
1m 37s | |
4m 37s |