Agda

refactor: migrate Markdown to AsciiDoc (#305) #914

Sign in to view logs

Triggered via push August 24, 2026 07:09

main

Status Success

Total duration 35m 18s

Artifacts –

agda.yml

on: push