Lint

gh-1542: Do not suggest `make -j` #1150

Sign in to view logs

Triggered via pull request April 18, 2025 12:19

Yhg1s

opened #1543

Yhg1s:fix-bad-make-j-advice

Status Success

Total duration 17s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint.yml

on: pull_request