Sync local commits to main #881
agda.yml
on: pull_request
check
30m 16s
cold-check
30m 16s
Annotations
4 errors
|
check
The job has exceeded the maximum execution time of 30m0s
|
|
check
The operation was canceled.
|
|
cold-check
The job has exceeded the maximum execution time of 30m0s
|
|
cold-check
The operation was canceled.
|