Skip to content

Actions: alwin-joshy/seL4

Actions

RefMan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
manual.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor hw debug aarch32 attempt2 RefMan #67: Pull request #10 synchronize by alwin-joshy
February 16, 2024 02:47 1m 27s refactor_hw_debug_aarch32_attempt2
refactor_hw_debug_aarch32_attempt2
February 16, 2024 02:47 1m 27s
Refactor hw debug aarch32 attempt2 RefMan #66: Pull request #10 opened by alwin-joshy
February 16, 2024 02:42 1m 48s refactor_hw_debug_aarch32_attempt2
refactor_hw_debug_aarch32_attempt2
February 16, 2024 02:42 1m 48s
wip: aarch64 port RefMan #65: Pull request #9 synchronize by alwin-joshy
February 16, 2024 01:55 1m 32s hw_debug_aarch64
hw_debug_aarch64
February 16, 2024 01:55 1m 32s
wip: aarch64 port RefMan #64: Pull request #9 synchronize by alwin-joshy
February 15, 2024 07:33 1m 32s hw_debug_aarch64
hw_debug_aarch64
February 15, 2024 07:33 1m 32s
wip: aarch64 port RefMan #63: Pull request #9 synchronize by alwin-joshy
February 15, 2024 06:58 2m 4s hw_debug_aarch64
hw_debug_aarch64
February 15, 2024 06:58 2m 4s
wip: aarch64 port RefMan #62: Pull request #9 synchronize by alwin-joshy
February 15, 2024 05:50 1m 33s hw_debug_aarch64
hw_debug_aarch64
February 15, 2024 05:50 1m 33s
wip: aarch64 port RefMan #61: Pull request #9 synchronize by alwin-joshy
February 15, 2024 02:30 1m 31s hw_debug_aarch64
hw_debug_aarch64
February 15, 2024 02:30 1m 31s
wip: aarch64 port RefMan #60: Pull request #9 synchronize by alwin-joshy
February 15, 2024 01:44 1m 29s hw_debug_aarch64
hw_debug_aarch64
February 15, 2024 01:44 1m 29s
wip: aarch64 port RefMan #59: Pull request #9 opened by alwin-joshy
February 14, 2024 04:56 1m 26s hw_debug_aarch64
hw_debug_aarch64
February 14, 2024 04:56 1m 26s
Refactor hw debug aarch32 RefMan #58: Pull request #8 opened by alwin-joshy
February 14, 2024 00:56 4m 2s refactor_hw_debug_aarch32
refactor_hw_debug_aarch32
February 14, 2024 00:56 4m 2s
CI: remove obsolete concurrency setup in job RefMan #57: Commit a8eebab pushed by alwin-joshy
February 14, 2024 00:55 1m 34s master
master
February 14, 2024 00:55 1m 34s
Hardware api 2 RefMan #56: Pull request #7 synchronize by alwin-joshy
January 22, 2024 02:54 1m 28s hardware_api_2
hardware_api_2
January 22, 2024 02:54 1m 28s
Hardware api 2 RefMan #55: Pull request #7 synchronize by alwin-joshy
January 18, 2024 04:54 1m 25s hardware_api_2
hardware_api_2
January 18, 2024 04:54 1m 25s
Hardware api 2 RefMan #54: Pull request #7 opened by alwin-joshy
January 18, 2024 03:01 1m 47s hardware_api_2
hardware_api_2
January 18, 2024 03:01 1m 47s
aarch64/vspace: avoid unnecessary casts RefMan #53: Commit 0398d34 pushed by alwin-joshy
January 18, 2024 03:01 1m 28s master
master
January 18, 2024 03:01 1m 28s
python: remove unused template parameter RefMan #52: Commit ed613d7 pushed by alwin-joshy
January 9, 2024 05:17 1m 37s master
master
January 9, 2024 05:17 1m 37s
Implementation of batch vspace operations RefMan #51: Pull request #6 synchronize by alwin-joshy
August 5, 2023 06:47 1m 26s batch_vspace
batch_vspace
August 5, 2023 06:47 1m 26s