🦕 Docusaurus Site

Enable Haddock for Agda (#6639) #541

Sign in to view logs

Summary
Jobs
- Run
Run details
- Usage
- Workflow file

Triggered via push November 6, 2024 11:02

zeme-wana

master

Status Success

Total duration 24m 34s

Artifacts –

docusaurus-site.yml

on: push