Skip to content

Actions: alwin-joshy/seL4

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 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
February 16, 2024 02:47 1m 57s
Refactor hw debug aarch32 attempt2
Compile #67: Pull request #10 synchronize by alwin-joshy
February 16, 2024 02:47 1m 29s refactor_hw_debug_aarch32_attempt2
February 16, 2024 02:47 1m 29s
Refactor hw debug aarch32 attempt2
C Parser #67: Pull request #10 synchronize by alwin-joshy
February 16, 2024 02:47 1m 33s refactor_hw_debug_aarch32_attempt2
February 16, 2024 02:47 1m 33s
Refactor hw debug aarch32 attempt2
seL4Test-Sim #60: Pull request #10 synchronize by alwin-joshy
February 16, 2024 02:47 13m 45s refactor_hw_debug_aarch32_attempt2
February 16, 2024 02:47 13m 45s
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
February 16, 2024 02:47 1m 27s
Refactor hw debug aarch32 attempt2
seL4Bench-HW #39: Pull request #10 synchronize by alwin-joshy
February 16, 2024 02:47 6s
February 16, 2024 02:47 6s
Refactor hw debug aarch32 attempt2
seL4Test-HW #63: Pull request #10 synchronize by alwin-joshy
February 16, 2024 02:47 6s
February 16, 2024 02:47 6s
Refactor hw debug aarch32 attempt2
Proofs #54: Pull request #10 synchronize by alwin-joshy
February 16, 2024 02:47 4s
February 16, 2024 02:47 4s
Refactor hw debug aarch32 attempt2
C Parser #66: Pull request #10 opened by alwin-joshy
February 16, 2024 02:42 1m 33s refactor_hw_debug_aarch32_attempt2
February 16, 2024 02:42 1m 33s
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
February 16, 2024 02:42 1m 48s
Refactor hw debug aarch32 attempt2
seL4Test-Sim #59: Pull request #10 opened by alwin-joshy
February 16, 2024 02:42 5m 34s refactor_hw_debug_aarch32_attempt2
February 16, 2024 02:42 5m 34s
Refactor hw debug aarch32 attempt2
Compile #66: Pull request #10 opened by alwin-joshy
February 16, 2024 02:42 1m 14s refactor_hw_debug_aarch32_attempt2
February 16, 2024 02:42 1m 14s
Refactor hw debug aarch32 attempt2
seL4Test-HW #62: Pull request #10 opened by alwin-joshy
February 16, 2024 02:42 8s
February 16, 2024 02:42 8s
Refactor hw debug aarch32 attempt2
seL4Bench-HW #38: Pull request #10 opened by alwin-joshy
February 16, 2024 02:42 9s
February 16, 2024 02:42 9s
wip: aarch64 port
Compile #65: Pull request #9 synchronize by alwin-joshy
February 16, 2024 01:55 1m 13s hw_debug_aarch64
February 16, 2024 01:55 1m 13s
wip: aarch64 port
CI #65: Pull request #9 synchronize by alwin-joshy
February 16, 2024 01:55 27s hw_debug_aarch64
February 16, 2024 01:55 27s
wip: aarch64 port
RefMan #65: Pull request #9 synchronize by alwin-joshy
February 16, 2024 01:55 1m 32s hw_debug_aarch64
February 16, 2024 01:55 1m 32s
wip: aarch64 port
C Parser #65: Pull request #9 synchronize by alwin-joshy
February 16, 2024 01:55 1m 43s hw_debug_aarch64
February 16, 2024 01:55 1m 43s
wip: aarch64 port
seL4Test-Sim #58: Pull request #9 synchronize by alwin-joshy
February 16, 2024 01:55 13m 50s hw_debug_aarch64
February 16, 2024 01:55 13m 50s
wip: aarch64 port
XML #24: Pull request #9 synchronize by alwin-joshy
February 16, 2024 01:55 39s hw_debug_aarch64
February 16, 2024 01:55 39s