Check the Agda files

Merge pull request #94 from VariantSync/fix-ci-warning #374

Sign in to view logs

Triggered via push October 7, 2025 13:32

ibbem

develop

Status Success

Total duration 3m 11s

Artifacts –

check.yml

on: push