Skip to content
Markdown formatting

Reduce the input size for Miri tests. #113

Sign in to view logs

Reduce the input size for Miri tests.

Reduce the input size for Miri tests. #113

Run time

Learn about OS pricing on GitHub Actions
Job Run time
mdformat
8s
8s