Skip to content

Bump koa from 3.0.1 to 3.0.3 #1083

Bump koa from 3.0.1 to 3.0.3

Bump koa from 3.0.1 to 3.0.3 #1083

Triggered via pull request October 21, 2025 15:11
Status Failure
Total duration 36m 38s
Artifacts

test.yml

on: pull_request
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

13 errors and 12 warnings
build-and-test (ubuntu-latest, Agda-2.6.4)
Process completed with exit code 1.
build-and-test (ubuntu-latest, Agda-2.6.4)
Process completed with exit code 1.
build-and-test (macos-latest, Agda-2.6.4)
Process completed with exit code 1.
build-and-test (macos-latest, Agda-2.6.4)
Process completed with exit code 1.
build-and-test (windows-latest, Agda-2.6.4)
Process completed with exit code 1.
build-and-test (windows-latest, Agda-2.6.4)
Process completed with exit code 1.
build-and-test (ubuntu-latest, Agda-2.7.0)
Process completed with exit code 1.
build-and-test (macos-latest, Agda-2.7.0)
Process completed with exit code 1.
build-and-test (windows-latest, Agda-2.7.0)
Process completed with exit code 1.
build-and-test (windows-latest, Agda-2.7.0)
Process completed with exit code 1.
build-and-test (ubuntu-latest, Agda-2.8.0)
Process completed with exit code 1.
build-and-test (windows-latest, Agda-2.8.0)
Process completed with exit code 1.
build-and-test (macos-latest, Agda-2.8.0)
Process completed with exit code 1.
build-and-test (ubuntu-latest, Agda-2.6.4)
Cache save failed.
build-and-test (ubuntu-latest, Agda-2.6.4)
Cache save failed.
build-and-test (macos-latest, Agda-2.6.4)
Cache save failed.
build-and-test (windows-latest, Agda-2.6.4)
Cache save failed.
build-and-test (windows-latest, Agda-2.6.4)
Cache save failed.
build-and-test (macos-latest, Agda-2.7.0)
Cache save failed.
build-and-test (windows-latest, Agda-2.7.0)
Cache save failed.
build-and-test (ubuntu-latest, Agda-2.8.0)
Cache save failed.
build-and-test (ubuntu-latest, Agda-2.8.0)
Cache save failed.
build-and-test (windows-latest, Agda-2.8.0)
Cache save failed.
build-and-test (macos-latest, Agda-2.8.0)
Cache save failed.
build-and-test (macos-latest, Agda-2.8.0)
Cache save failed.