Skip to content

Update CI - #161

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

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

Update CI

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

Coverage not affected when comparing 094c775...596071d

View this Pull Request on Codecov

Coverage not affected when comparing 094c775...596071d

View more details on Codecov