Test Action

Default to Agda 2.8.0; cosmetics #16

Sign in to view logs

Triggered via pull request November 14, 2025 19:07

andreasabel

synchronize #3

polishing

Status Success

Total duration 28s

Artifacts –

test.yml

on: pull_request

Matrix: test