Skip to content

Cleanup the workaround for skipping docs on nondefault branches#985

Merged
pedro-psb merged 1 commit intopulp:mainfrom
pedro-psb:cleanup-docs-workflow
Oct 21, 2025
Merged

Cleanup the workaround for skipping docs on nondefault branches#985
pedro-psb merged 1 commit intopulp:mainfrom
pedro-psb:cleanup-docs-workflow

Commits

Commits on Oct 20, 2025