Agda

ci: deploy docs via Ddraig SSG #877

Sign in to view logs

Triggered via pull request July 19, 2026 12:51

opened #293

feat/ddraig-pages-mass

Status Success

Total duration 38m 23s

Artifacts –

agda.yml

on: pull_request