Skip to content
Idris2 on Ubuntu

Extract regexp for .ipkg sourcedir option to constant and update the regexp to include also double quotes. #246

Sign in to view logs

Extract regexp for .ipkg sourcedir option to constant and update the regexp to include also double quotes.

Extract regexp for .ipkg sourcedir option to constant and update the regexp to include also double quotes. #246

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (25.3)
7m 46s
build (26.3)
8m 2s
build (27.2)
8m 0s
build (28.2)
8m 2s
31m 50s