Tiny follow up to #12983 (backport #12999) #3393

Sign in to view logs

Summary
Jobs
- Miri
Run details
- Usage
- Workflow file

Triggered via pull request August 20, 2024 16:49

opened #13005

mergify/bp/stable/1.2/pr-12999

Status Success

Total duration 1m 52s

Artifacts –

miri.yml

on: pull_request