Improved page mapping benchmarks #109
Triggered via pull request
September 10, 2024 05:52
alwin-joshy
alwin-joshy
synchronize
#39
Status
Cancelled
Total duration
4m 1s
Artifacts
2
Annotations
4 errors
|
Build (armv7a)
Canceling since a higher priority waiting request for 'seL4Bench-PR-pr-39' exists
|
|
Build (armv7a)
The operation was canceled.
|
|
Build (armv8a)
Canceling since a higher priority waiting request for 'seL4Bench-PR-pr-39' exists
|
|
Build (armv8a)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
images-nehalem
Expired
|
6.91 MB |
|
|
images-rv64imac
Expired
|
5.54 MB |
|