Make

refactor: post-lemma-3.9 clean-ups #183

Sign in to view logs

Triggered via pull request May 27, 2024 19:49

favonia

synchronize #52

clean-ups

Status Success

Total duration 11s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda