Test Action

Default to Agda 2.8.0; cosmetics #15

Sign in to view logs

Triggered via pull request November 14, 2025 19:06

andreasabel

synchronize #3

polishing

Status Failure

Total duration 38s

Artifacts –

test.yml

on: pull_request

Matrix: test

Annotations

1 error

test (windows-latest, 2.3)

Process completed with exit code 1.