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 #254

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 #254

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (27.2)
47s
build (27.2)
51s
build (27.2)
48s
build (27.2)
48s
build (27.2)
48s
build (27.2)
48s
build (28.2)
47s
build (28.2)
45s
build (28.2)
51s
build (28.2)
51s
build (28.2)
51s
build (28.2)
51s
build (29.3)
52s
build (29.3)
1m 0s
build (29.3)
54s
build (29.3)
1s
build (29.3)
1s
build (29.3)
1s
12m 35s