Skip to content

Add miri to CI and rework Label internals #696

Add miri to CI and rework Label internals

Add miri to CI and rework Label internals #696

Triggered via pull request January 14, 2025 00:49
@KodrAusKodrAus
synchronize #204
fix/miri
Status Success
Total duration 3m 41s
Artifacts

sval.yml

on: pull_request
Build (embedded)
45s
Build (embedded)
Test (Miri)
42s
Test (Miri)
Matrix: Test
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Test (Miri)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build (embedded)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636