Make

style: use '#' better #121

Sign in to view logs

Triggered via pull request November 28, 2023 00:17

favonia

opened #41

be-sharper

Status Success

Total duration 15s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda