Skip to content

Actions: alwin-joshy/seL4

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor hw debug aarch32 attempt2 PR #60: Pull request #10 synchronize by alwin-joshy
February 16, 2024 02:47 1m 57s refactor_hw_debug_aarch32_attempt2
refactor_hw_debug_aarch32_attempt2
February 16, 2024 02:47 1m 57s
Refactor hw debug aarch32 attempt2 PR #59: Pull request #10 opened by alwin-joshy
February 16, 2024 02:42 1m 43s refactor_hw_debug_aarch32_attempt2
refactor_hw_debug_aarch32_attempt2
February 16, 2024 02:42 1m 43s
wip: aarch64 port PR #58: Pull request #9 synchronize by alwin-joshy
February 16, 2024 01:55 1m 46s hw_debug_aarch64
hw_debug_aarch64
February 16, 2024 01:55 1m 46s
wip: aarch64 port PR #57: Pull request #9 synchronize by alwin-joshy
February 15, 2024 07:33 2m 21s hw_debug_aarch64
hw_debug_aarch64
February 15, 2024 07:33 2m 21s
wip: aarch64 port PR #56: Pull request #9 synchronize by alwin-joshy
February 15, 2024 06:58 1m 26s hw_debug_aarch64
hw_debug_aarch64
February 15, 2024 06:58 1m 26s
wip: aarch64 port PR #55: Pull request #9 synchronize by alwin-joshy
February 15, 2024 05:50 1m 42s hw_debug_aarch64
hw_debug_aarch64
February 15, 2024 05:50 1m 42s
wip: aarch64 port PR #54: Pull request #9 synchronize by alwin-joshy
February 15, 2024 02:30 1m 53s hw_debug_aarch64
hw_debug_aarch64
February 15, 2024 02:30 1m 53s
wip: aarch64 port PR #53: Pull request #9 synchronize by alwin-joshy
February 15, 2024 01:44 1m 28s hw_debug_aarch64
hw_debug_aarch64
February 15, 2024 01:44 1m 28s
wip: aarch64 port PR #52: Pull request #9 opened by alwin-joshy
February 14, 2024 04:56 1m 40s hw_debug_aarch64
hw_debug_aarch64
February 14, 2024 04:56 1m 40s
Refactor hw debug aarch32 PR #51: Pull request #8 opened by alwin-joshy
February 14, 2024 00:56 6m 23s refactor_hw_debug_aarch32
refactor_hw_debug_aarch32
February 14, 2024 00:56 6m 23s
Hardware api 2 PR #50: Pull request #7 synchronize by alwin-joshy
January 22, 2024 02:54 1m 46s hardware_api_2
hardware_api_2
January 22, 2024 02:54 1m 46s
Hardware api 2 PR #49: 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 PR #48: Pull request #7 opened by alwin-joshy
January 18, 2024 03:01 1m 51s hardware_api_2
hardware_api_2
January 18, 2024 03:01 1m 51s
Implementation of batch vspace operations PR #47: Pull request #6 synchronize by alwin-joshy
August 5, 2023 06:47 1m 55s batch_vspace
batch_vspace
August 5, 2023 06:47 1m 55s