Skip to content
Back to pull request #5140

Extend StreamFormatting to seperate linewrap and indenting #1311

Sign in to view logs

Extend StreamFormatting to seperate linewrap and indenting

Extend StreamFormatting to seperate linewrap and indenting #1311

Run time

Learn about OS pricing on GitHub Actions
Job Run time
gaplint
32s
32s