Test

Merge pull request #267 from banacorn/fix-ci-for-agda-2.6.4 #1090

Sign in to view logs

Re-run triggered December 11, 2025 15:41

andy0130tw

master

Status Success

Total duration 18m 28s

Artifacts –

test.yml

on: push

Matrix: build-and-test

Annotations

1 error and 1 warning

build-and-test (ubuntu-latest, Agda-2.6.4)

Process completed with exit code 1.

build-and-test (ubuntu-latest, Agda-2.6.4)

Cache save failed.