Make

docs(README): update links and point out the missing parts #125

Sign in to view logs

Triggered via push November 28, 2023 15:33

favonia

main

Status Success

Total duration 16s

Artifacts –

regenerate-everything.yaml

on: push

Everything.agda