chore: use feature for testing purpose #43

Sign in to view logs

Summary
Jobs
- Miri
Run details
- Usage
- Workflow file

Triggered via push October 16, 2024 09:17

xieyuschen

main

Status Success

Total duration 41s

Artifacts –

miri-check.yml

on: push