Skip to content
Check the Agda files

Merge pull request #6 from pmbittner/reuse-NestedChoice #22

Sign in to view logs

Merge pull request #6 from pmbittner/reuse-NestedChoice

Merge pull request #6 from pmbittner/reuse-NestedChoice #22

Triggered via push November 16, 2023 11:43
@pmbittnerpmbittner
pushed ed14030
develop
Status Success
Total duration 1m 39s
Artifacts –

check.yml

on: push
build
1m 28s
build
Fit to window
Zoom out
Zoom in