Miri

[#442] add config paths to platform #722

Sign in to view logs

Summary
Jobs
- Miri
Run details
- Usage
- Workflow file

Triggered via pull request February 4, 2025 16:53

elfenpiff

synchronize #616

elfenpiff:iox2-442-add-config-paths-to-platform

Status Success

Total duration 38s

Artifacts –

miri-check.yml

on: pull_request