Skip to content

Actions: seL4/sel4bench

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add CI build with clang PR #121: Pull request #23 synchronize by axel-h
April 9, 2024 18:17 33s axel-h:patch-axel-1
axel-h:patch-axel-1
April 9, 2024 18:17 33s
add CI build with clang PR #120: Pull request #23 synchronize by axel-h
April 9, 2024 17:50 23s axel-h:patch-axel-1
axel-h:patch-axel-1
April 9, 2024 17:50 23s
add CI build with clang PR #119: Pull request #23 synchronize by axel-h
April 9, 2024 17:49 25s axel-h:patch-axel-1
axel-h:patch-axel-1
April 9, 2024 17:49 25s
add CI build with clang PR #118: Pull request #23 synchronize by axel-h
April 8, 2024 12:22 32s axel-h:patch-axel-1
axel-h:patch-axel-1
April 8, 2024 12:22 32s
CI: cancel older concurrent PR runs PR #117: Pull request #46 synchronize by axel-h
April 8, 2024 12:19 59s axel-h:patch-axel-6
axel-h:patch-axel-6
April 8, 2024 12:19 59s
CI: cancel older concurrent PR runs PR #116: Pull request #46 opened by axel-h
April 4, 2024 11:51 25s axel-h:patch-axel-6
axel-h:patch-axel-6
April 4, 2024 11:51 25s
cmake: allow setting NANOPB_SRC_ROOT_FOLDER PR #115: Pull request #45 synchronize by axel-h
April 4, 2024 08:56 19s axel-h:patch-axel-5
axel-h:patch-axel-5
April 4, 2024 08:56 19s
add CI build with clang PR #114: Pull request #23 synchronize by axel-h
April 4, 2024 08:56 20s axel-h:patch-axel-1
axel-h:patch-axel-1
April 4, 2024 08:56 20s
add CI build with clang PR #113: Pull request #23 synchronize by axel-h
April 1, 2024 22:23 25s axel-h:patch-axel-1
axel-h:patch-axel-1
April 1, 2024 22:23 25s
cmake: allow setting NANOPB_SRC_ROOT_FOLDER PR #112: Pull request #45 opened by axel-h
April 1, 2024 22:14 1m 11s axel-h:patch-axel-5
axel-h:patch-axel-5
April 1, 2024 22:14 1m 11s
add CI build with clang PR #111: Pull request #23 synchronize by axel-h
April 1, 2024 20:32 21s axel-h:patch-axel-1
axel-h:patch-axel-1
April 1, 2024 20:32 21s
add CI build with clang PR #110: Pull request #23 synchronize by axel-h
April 1, 2024 20:25 28s axel-h:patch-axel-1
axel-h:patch-axel-1
April 1, 2024 20:25 28s
add CI build with clang PR #109: Pull request #23 synchronize by axel-h
March 31, 2024 22:35 25s axel-h:patch-axel-1
axel-h:patch-axel-1
March 31, 2024 22:35 25s
CI: the seL4/machine_queue repo is public now PR #108: Pull request #44 opened by axel-h
March 31, 2024 22:18 21s axel-h:patch-axel-4
axel-h:patch-axel-4
March 31, 2024 22:18 21s
add CI build with clang PR #107: Pull request #23 synchronize by axel-h
March 31, 2024 22:04 22s axel-h:patch-axel-1
axel-h:patch-axel-1
March 31, 2024 22:04 22s
github: Fix index.html path PR #106: Pull request #43 opened by Indanz
March 21, 2024 10:54 27s Indanz:github-fix
Indanz:github-fix
March 21, 2024 10:54 27s
github: re-enable performance results deployment PR #105: Pull request #42 opened by lsf37
March 20, 2024 14:18 21s auto-update
auto-update
March 20, 2024 14:18 21s
github: bump actions to node20 PR #104: Pull request #40 opened by lsf37
February 7, 2024 04:58 22s github-node20
github-node20
February 7, 2024 04:58 22s
Improved page mapping benchmarks PR #103: Pull request #39 synchronize by alwin-joshy
December 13, 2023 12:44 21s alwin-joshy:improve_page_map
alwin-joshy:improve_page_map
December 13, 2023 12:44 21s
Improved page mapping benchmarks PR #102: Pull request #39 synchronize by alwin-joshy
December 13, 2023 12:41 22s alwin-joshy:improve_page_map
alwin-joshy:improve_page_map
December 13, 2023 12:41 22s
Improved page mapping benchmarks PR #101: Pull request #39 synchronize by alwin-joshy
December 13, 2023 12:30 18s alwin-joshy:improve_page_map
alwin-joshy:improve_page_map
December 13, 2023 12:30 18s
Improved page mapping benchmarks PR #100: Pull request #39 synchronize by alwin-joshy
December 13, 2023 06:11 28s alwin-joshy:improve_page_map
alwin-joshy:improve_page_map
December 13, 2023 06:11 28s
Improved page mapping benchmarks PR #99: Pull request #39 synchronize by alwin-joshy
December 13, 2023 06:08 30s alwin-joshy:improve_page_map
alwin-joshy:improve_page_map
December 13, 2023 06:08 30s
Improved page mapping benchmarks PR #98: Pull request #39 synchronize by alwin-joshy
December 13, 2023 05:59 21s alwin-joshy:improve_page_map
alwin-joshy:improve_page_map
December 13, 2023 05:59 21s
Improved page mapping benchmarks PR #97: Pull request #39 opened by alwin-joshy
December 13, 2023 05:57 17s alwin-joshy:improve_page_map
alwin-joshy:improve_page_map
December 13, 2023 05:57 17s