Make

fix: major rewrite to use the new Poset #137

Sign in to view logs

Triggered via pull request December 10, 2023 06:51

favonia

synchronize #48

flatten-poset

Status Success

Total duration 11s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda