Docs

Merge pull request #402 from agda/orestis/fix-web-lib-test #175

Sign in to view logs

Triggered via push March 11, 2025 11:24

omelkonian

master

Status Success

Total duration 4m 26s

Artifacts –

docs.yml

on: push

Matrix: deploy