[#533] add timeout to waitset #383

Sign in to view logs

Summary
Jobs
- Miri
Run details
- Usage
- Workflow file

Triggered via pull request November 30, 2024 16:25

elfenpiff

synchronize #534

elfenpiff:iox2-533-add-timeout-to-waitset

Status Success

Total duration 39s

Artifacts –

miri-check.yml

on: pull_request