CI: Define JOBS environment variable and use it for make
commit1ac3580a8be5e6a05194a28ddb93209ec6e5d585
authorEnrico Tröger <enrico.troeger@uvena.de>
Sun, 19 Mar 2023 14:15:26 +0000 (19 15:15 +0100)
committerEnrico Tröger <enrico.troeger@uvena.de>
Sun, 19 Mar 2023 14:15:26 +0000 (19 15:15 +0100)
tree7278a9d6b444f1c7527e728bf92b20a31d513f97
parentf0e3ee273e67387f85506ea629b9dbe34d47b8ca
CI: Define JOBS environment variable and use it for make
.github/workflows/build.yml