Skip to content

Update CI config#29

Merged
ChrisJefferson merged 1 commit intopeal:masterfrom
fingolfin:mh/ci
Jun 12, 2025
Merged

Update CI config#29
ChrisJefferson merged 1 commit intopeal:masterfrom
fingolfin:mh/ci

Commits

Commits on Jun 6, 2025