HomeFreeBSD

Set multiple make jobs on CodeQL github workflows

Description

Set multiple make jobs on CodeQL github workflows

github supports 2 processors right now, although we use nproc instead of
hard coding -j2, so if that ever increases, we will take advantage of it
right away.

Reviewed-by: George Melikov <mail@gmelikov.ru>
Reviewed-by: Damian Szuberski <szuberskidamian@gmail.com>
Reviewed-by: Tino Reichardt <milky-zfs@mcmilk.de>
Signed-off-by: Richard Yao <richard.yao@alumni.stonybrook.edu>
Closes #14217

Details

Provenance
Richard Yao <richard.yao@alumni.stonybrook.edu>Authored on Nov 28 2022, 9:29 PM
GitHub <noreply@github.com>Committed on Nov 28 2022, 9:29 PM
Parents
rGadf3b84fc734: Add <limits.h> header
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed rG022bdb5b0b72: Set multiple make jobs on CodeQL github workflows (authored by Richard Yao <richard.yao@alumni.stonybrook.edu>).Nov 28 2022, 9:29 PM