Skip to content
Lint

introduce the category of Bounded posets #24917

Sign in to view logs

introduce the category of Bounded posets

introduce the category of Bounded posets #24917

Triggered via pull request November 27, 2025 13:54
@fchapotonfchapoton
synchronize #41216
fchapoton:bounded_posets
Status Success
Total duration 2m 6s
Artifacts –

lint.yml

on: pull_request
Lint
2m 2s
Lint
Fit to window
Zoom out
Zoom in