ci: add opensbi to boot kernel #123
| Job | Run time |
|---|---|
| 19m 31s | |
| 19m 31s | |
| 21m 19s | |
| 21m 19s | |
| 34m 34s | |
| 34m 34s | |
| 21m 7s | |
| 21m 7s | |
| 18m 22s | |
| 18m 22s | |
| 2m 35s | |
| 2m 35s | |
| 4m 43s | |
| 4m 43s | |
| 2m 10s | |
| 2m 10s | |
| 2m 22s | |
| 2m 14s | |
| 2m 53s | |
| 2m 53s | |
| 2m 17s | |
| 2m 17s | |
| 2m 11s | |
| 2m 11s | |
| 2m 10s | |
| 2m 10s | |
| 2m 10s | |
| 2m 10s | |
| 2m 22s | |
| 2m 22s | |
| 2m 16s | |
| 2m 16s | |
| 2m 8s | |
| 2m 8s | |
| 2m 20s | |
| 2m 20s | |
| 4h 54m 52s |