Skip to content
Check workspace

2198 implement ord no bound and partial ord no bound #1

Sign in to view logs

2198 implement ord no bound and partial ord no bound

2198 implement ord no bound and partial ord no bound #1

Triggered via pull request January 26, 2024 16:46
@mutantcornholiomutantcornholio
opened #16
adelarja:2198-implement-OrdNoBound-and-PartialOrdNoBound
Status Success
Total duration 18s
Artifacts –

check-workspace.yml

on: pull_request
check-workspace
10s
check-workspace
Fit to window
Zoom out
Zoom in