Skip to content
Back to pull request #631

[ ci ] ensure we test idris1 againsts latest idris1 and emacs. #250

Sign in to view logs

[ ci ] ensure we test idris1 againsts latest idris1 and emacs.

[ ci ] ensure we test idris1 againsts latest idris1 and emacs. #250

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (27.2)
8m 35s
build (28.2)
9m 4s
build (29.3)
9m 2s
26m 41s