Skip to content
Idris2 on Ubuntu

[ fix ] revert regexp for ipkg source dirs. #252

Sign in to view logs

[ fix ] revert regexp for ipkg source dirs.

[ fix ] revert regexp for ipkg source dirs. #252

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (27.2)
8m 48s
build (28.2)
10m 57s
build (29.3)
9m 15s
29m 0s