Skip to content
Test

assign individuals and teams separately for GitHub's sake. #873

Sign in to view logs

assign individuals and teams separately for GitHub's sake.

assign individuals and teams separately for GitHub's sake. #873

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nightly-idris
1m 49s
stable-idris
1m 39s
3m 28s