Skip to content

Update CI - #124

Merged
fingolfin merged 1 commit into
masterfrom
mh/ci
Jun 30, 2026
Merged

Update CI#124
fingolfin merged 1 commit into
masterfrom
mh/ci

Update CI

a72937e
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jun 30, 2026 in 0s

Coverage not affected when comparing 805857c...a72937e

View this Pull Request on Codecov

Coverage not affected when comparing 805857c...a72937e

View more details on Codecov