Check the Agda files

Merge pull request #95 from VariantSync/develop #377

Sign in to view logs

Triggered via push October 14, 2025 08:07

ibbem

main

Status Success

Total duration 3m 13s

Artifacts –

check.yml

on: push