Docs

Rename `agda2hs.agda-lib` to `base.agda-lib` #178

Sign in to view logs

Triggered via push April 16, 2025 13:08

omelkonian

master

Status Success

Total duration 22s

Artifacts –

docs.yml

on: push

Matrix: deploy