Skip to content
Docker

refactor: use the singleton poset from the upstream #255

Sign in to view logs

refactor: use the singleton poset from the upstream

refactor: use the singleton poset from the upstream #255

Triggered via push June 14, 2024 16:46
@favoniafavonia
pushed 8e3e0c8
main
Status Success
Total duration 3m 59s
Artifacts –

agda.yml

on: push
build
3m 49s
build
Fit to window
Zoom out
Zoom in