Make

feat: lemma 3.9 #174

Sign in to view logs

Triggered via pull request May 26, 2024 15:40

favonia

synchronize #50

lemma-3.9

Status Failure

Total duration 15s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda

Annotations

1 error

Everything.agda

Process completed with exit code 1.