Skip to content
Idris2 on Ubuntu

Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version #255

Sign in to view logs

Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version

Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version #255

Annotations

1 warning

This job succeeded