Lint

introduce the category of Bounded posets #24918

Sign in to view logs

Summary
Jobs
- Lint
Run details
- Usage
- Workflow file

Triggered via pull request November 27, 2025 14:23

fchapoton

synchronize #41216

fchapoton:bounded_posets

Status Success

Total duration 2m 5s

Artifacts –

lint.yml

on: pull_request