Skip to content

Fix CI; Replace GHA with Jenkins job#258

Merged
mfussenegger merged 1 commit intomasterfrom
j/ci
Feb 2, 2026
Merged

Fix CI; Replace GHA with Jenkins job#258
mfussenegger merged 1 commit intomasterfrom
j/ci

Commits

Commits on Feb 2, 2026