Skip to content
Back to pull request #84

fix pr label application. fix assign label autocomplete. #809

Sign in to view logs

fix pr label application. fix assign label autocomplete.

fix pr label application. fix assign label autocomplete. #809

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nightly-idris
1m 41s
stable-idris
1m 33s
3m 14s