1
0
Fork 0

Try to install only 10 Ubuntu 20.04 kernels

timestamps
dump_stack() 2023-04-06 13:00:51 +00:00
parent 0907129529
commit ab7a70cc0a
Signed by: dump_stack
GPG Key ID: BE44DA8C062D87DC
1 changed files with 1 additions and 1 deletions

View File

@ -109,4 +109,4 @@ jobs:
- name: End-to-End Testing [Install 10 Ubuntu 20.04 kernels w/o headers]
run: |
sudo ./out-of-tree --log-level=debug kernel genall --distro=Ubuntu --ver=20.04 --no-headers
sudo ./out-of-tree --log-level=debug kernel genall --distro=Ubuntu --ver=20.04 --no-headers --max=10