[ fix ] Add extra-deps for testings for Agda-2.6.3 #26
banacornAnnotations
3 errors and 4 warnings
|
build-and-test (ubuntu-latest, Agda-2.6.3)
Process completed with exit code 1.
|
|
build-and-test (macos-latest, Agda-2.6.3)
Process completed with exit code 1.
|
|
build-and-test (macos-13, Agda-2.6.3)
Process completed with exit code 1.
|
|
build-and-test (ubuntu-latest, Agda-2.6.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build-and-test (ubuntu-latest, Agda-2.7.0.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build-and-test (ubuntu-latest, Agda-2.6.4.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build-and-test (macos-latest, Agda-2.7.0.1)
Failed to save: uploadChunk (start: 67108864, end: 100663295) failed: read ECONNRESET
|