Fix: Binary sevctl was absent from debian packages
#947
| Job | Run time |
|---|---|
| 57s | |
| 1s | |
| 45s | |
| 1s | |
| 58s | |
| 1s | |
| 56s | |
| 1s | |
| 45s | |
| 1s | |
| 57s | |
| 1s | |
| 47s | |
| 2m 11s | |
| 41s | |
| 3m 6s | |
| 2s | |
| 1s | |
| 12m 12s |
sevctl was absent from debian packages
#947
| Job | Run time |
|---|---|
| 57s | |
| 1s | |
| 45s | |
| 1s | |
| 58s | |
| 1s | |
| 56s | |
| 1s | |
| 45s | |
| 1s | |
| 57s | |
| 1s | |
| 47s | |
| 2m 11s | |
| 41s | |
| 3m 6s | |
| 2s | |
| 1s | |
| 12m 12s |