Add `Paths_agda2hs` to autogen-modules #62

Sign in to view logs

Triggered via push October 12, 2023 16:07

jespercockx

master

Status Success

Total duration 49s

Artifacts –

docs.yml

on: push

Matrix: deploy