Make

feat: lemma 3.9 #171

Sign in to view logs

Triggered via pull request May 25, 2024 20:21

favonia

synchronize #50

lemma-3.9

Status Success

Total duration 15s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda