Make

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

Sign in to view logs

Triggered via pull request May 27, 2024 14:15

favonia

opened #52

clean-ups

Status Success

Total duration 13s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda