Skip to content

Actions: seL4/sel4bench

Actions

seL4Bench-PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4bench-pr.yml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: pin Ubuntu 22.04 for deployment step seL4Bench-PR #123: Pull request #51 opened by lsf37
December 19, 2024 06:40 10m 17s
December 19, 2024 06:40 10m 17s
Add i.MX93 support + bugfixes seL4Bench-PR #122: Pull request #50 labeled by lsf37
December 2, 2024 03:03 1h 1m 53s
December 2, 2024 03:03 1h 1m 53s
Add i.MX93 support + bugfixes seL4Bench-PR #121: Pull request #50 opened by Indanz
November 29, 2024 13:22 10m 15s
November 29, 2024 13:22 10m 15s
VM fault fastpath new benchmarks seL4Bench-PR #120: Pull request #18 synchronize by alwin-joshy
September 11, 2024 00:46 42m 35s
September 11, 2024 00:46 42m 35s
VM fault fastpath new benchmarks seL4Bench-PR #119: Pull request #18 synchronize by alwin-joshy
September 10, 2024 09:35 1h 43m 32s
September 10, 2024 09:35 1h 43m 32s
VM fault fastpath new benchmarks seL4Bench-PR #118: Pull request #18 synchronize by alwin-joshy
September 10, 2024 09:33 2m 10s
September 10, 2024 09:33 2m 10s
VM fault fastpath new benchmarks seL4Bench-PR #117: Pull request #18 synchronize by alwin-joshy
September 10, 2024 09:32 1m 18s
September 10, 2024 09:32 1m 18s
VM fault fastpath new benchmarks seL4Bench-PR #116: Pull request #18 synchronize by alwin-joshy
September 10, 2024 09:29 2m 29s
September 10, 2024 09:29 2m 29s
VM fault fastpath new benchmarks seL4Bench-PR #115: Pull request #18 synchronize by alwin-joshy
September 10, 2024 09:29 21s
September 10, 2024 09:29 21s
VM fault fastpath new benchmarks seL4Bench-PR #114: Pull request #18 synchronize by alwin-joshy
September 10, 2024 08:10 9m 22s
September 10, 2024 08:10 9m 22s
VM fault fastpath new benchmarks seL4Bench-PR #113: Pull request #18 synchronize by alwin-joshy
September 10, 2024 08:05 5m 0s
September 10, 2024 08:05 5m 0s
VM fault fastpath new benchmarks seL4Bench-PR #112: Pull request #18 synchronize by alwin-joshy
September 10, 2024 07:50 15m 12s
September 10, 2024 07:50 15m 12s
VM fault fastpath new benchmarks seL4Bench-PR #111: Pull request #18 synchronize by alwin-joshy
September 10, 2024 07:49 1m 26s
September 10, 2024 07:49 1m 26s
Improved page mapping benchmarks seL4Bench-PR #110: Pull request #39 synchronize by alwin-joshy
September 10, 2024 05:55 10m 52s
September 10, 2024 05:55 10m 52s
Improved page mapping benchmarks seL4Bench-PR #109: Pull request #39 synchronize by alwin-joshy
September 10, 2024 05:52 4m 1s
September 10, 2024 05:52 4m 1s
add CI build with clang seL4Bench-PR #108: Pull request #23 synchronize by axel-h
April 18, 2024 12:45 2h 9m 25s
April 18, 2024 12:45 2h 9m 25s
use KernelFWholeProgram on RISC-V also seL4Bench-PR #107: Pull request #48 opened by axel-h
April 18, 2024 11:58 39m 30s
April 18, 2024 11:58 39m 30s
use KernelFWholeProgram on RISC-V also seL4Bench-PR #106: Pull request #48 labeled by axel-h
April 18, 2024 11:58 3s
April 18, 2024 11:58 3s
add CI build with clang seL4Bench-PR #105: Pull request #23 synchronize by axel-h
April 10, 2024 17:14 2h 22m 44s
April 10, 2024 17:14 2h 22m 44s
add CI build with clang seL4Bench-PR #104: Pull request #23 synchronize by axel-h
April 10, 2024 15:52 3m 50s
April 10, 2024 15:52 3m 50s
add CI build with clang seL4Bench-PR #103: Pull request #23 synchronize by axel-h
April 10, 2024 15:49 1m 47s
April 10, 2024 15:49 1m 47s
add CI build with clang seL4Bench-PR #102: Pull request #23 synchronize by axel-h
April 10, 2024 15:02 4m 40s
April 10, 2024 15:02 4m 40s
add CI build with clang seL4Bench-PR #101: Pull request #23 synchronize by axel-h
April 10, 2024 14:56 1m 48s
April 10, 2024 14:56 1m 48s
add CI build with clang seL4Bench-PR #100: Pull request #23 synchronize by axel-h
April 10, 2024 13:43 11m 4s
April 10, 2024 13:43 11m 4s
add CI build with clang seL4Bench-PR #99: Pull request #23 synchronize by axel-h
April 10, 2024 13:31 12m 11s
April 10, 2024 13:31 12m 11s