Skip to content

Actions: alwin-joshy/seL4

Actions

Compile

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compilation-checks.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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