Hans Ulrich Niedermann ea1044dcd6 gh workflow: print nproc to find out whether make -jNN makes sense

2022-05-14 00:16:11 +02:00

..

ISSUE_TEMPLATE

Update issue templates

2019-01-26 15:06:14 +01:00

workflows

gh workflow: print nproc to find out whether make -jNN makes sense

2022-05-14 00:16:11 +02:00