Skip to content
Test

Rename the assign command to request. #1065

Sign in to view logs

Rename the assign command to request.

Rename the assign command to request. #1065

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nightly-idris
2m 2s
stable-idris
1m 40s
3m 42s