Agda

ci: deploy docs via Ddraig SSG (#293) #878

Sign in to view logs

Triggered via push July 19, 2026 12:51

main

Status Success

Total duration 44m 33s

Artifacts –

agda.yml

on: push