Trigger site build

[agda/en] Add tutorial of Agda (#5469) #505

Sign in to view logs

Triggered via push February 4, 2026 22:51

vendethiel

master

Status Success

Total duration 8s

Artifacts –

build.yml

on: push