Lint

Create `Doc/dist/` before `make` for versions < 3.10 #426

Sign in to view logs

Triggered via pull request April 2, 2026 18:12

StanFromIreland

opened #334

StanFromIreland:dist

Status Success

Total duration 14s

Artifacts –

lint.yml

on: pull_request