Agda

refactor: migrate Markdown to AsciiDoc #913

Sign in to view logs

Triggered via pull request August 24, 2026 07:09

opened #305

refactor/md-to-adoc

Status Success

Total duration 33m 47s

Artifacts –

agda.yml

on: pull_request