Skip to content
Idris2 on Ubuntu

Use user-error instead of error in interactive functions that are directly invoked by the user #302

Sign in to view logs

Use user-error instead of error in interactive functions that are directly invoked by the user

Use user-error instead of error in interactive functions that are directly invoked by the user #302

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (29.4)
8m 50s
build (28.2)
9m 33s
build (30.2)
10m 11s
28m 34s