Skip to content
Check Features

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 3m 26s
Artifacts –

check-features.yml

on: pull_request
check-features
3m 15s
check-features
Fit to window
Zoom out
Zoom in