| commit | 83b8f7be0567757e74bd33d479f80a31c18f8a78 | |
| author | Enrico Tröger <enrico.troeger@uvena.de> | |
| Sun, 16 Apr 2023 14:29:31 +0000 (16 16:29 +0200) | ||
| committer | GitHub <noreply@github.com> | |
| Sun, 16 Apr 2023 14:29:31 +0000 (16 16:29 +0200) | ||
| tree | 711781ada3a1eea0a0abba4fc03f38abf04c4442 | treesnapshot (tar.gz zip) |
| parent | 5298f51f41bb29e41970456652d2314ce609bcce | commitdiff |
| parent | 1ac3580a8be5e6a05194a28ddb93209ec6e5d585 | commitdiff |
Merge pull request #3432 from eht16/ci_enable_parallel_make_jobs
CI: Define JOBS environment variable and use it for make
CI: Define JOBS environment variable and use it for make