Skip to content

Use is-ci.sh from plume-lib#728

Merged
mernst merged 16 commits intocodespecs:masterfrom
mernst:is-ci-2
Dec 20, 2025
Merged

Use is-ci.sh from plume-lib#728
mernst merged 16 commits intocodespecs:masterfrom
mernst:is-ci-2

Commits

Commits on Dec 19, 2025

Commits on Dec 20, 2025