Skip to content
Build thys

Do not create a class if the bound is natLeq #294

Sign in to view logs

Do not create a class if the bound is natLeq

Do not create a class if the bound is natLeq #294

Triggered via push November 26, 2024 18:10
@jvanbrueggejvanbruegge
pushed 8da6bd7
master
Status Success
Total duration 13m 45s
Artifacts –

build_theories.yml

on: push
build
13m 35s
build
Fit to window
Zoom out
Zoom in