Make

refactor: minor clean-ups #205

Sign in to view logs

Triggered via push June 9, 2024 14:58

favonia

main

Status Success

Total duration 11s

Artifacts –

regenerate-everything.yaml

on: push

Everything.agda