Skip to content
Build thys

Expand POPLmark to 1B #23

Sign in to view logs

Expand POPLmark to 1B

Expand POPLmark to 1B #23

Triggered via pull request March 10, 2024 11:59
@jvanbrueggejvanbruegge
opened #39
poplmark-1b
Status Skipped
Total duration 2s
Artifacts –

build_theories.yml

on: pull_request
build
0s
build
Fit to window
Zoom out
Zoom in