Skip to content

Actions: rel4team/seL4-tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upstream (#1) seL4Test-Sim #4: Commit f1bff11 pushed by ZhiyuanSue
September 26, 2024 08:08 13m 4s master
master
September 26, 2024 08:08 13m 4s
Upstream (#1) CI #4: Commit f1bff11 pushed by ZhiyuanSue
September 26, 2024 08:08 39s master
master
September 26, 2024 08:08 39s
Upstream (#1) Trigger #3: Commit f1bff11 pushed by ZhiyuanSue
September 26, 2024 08:08 23s master
master
September 26, 2024 08:08 23s
Upstream PR #1: Pull request #1 opened by ZhiyuanSue
September 26, 2024 08:08 23s upstream
upstream
September 26, 2024 08:08 23s
Upstream CI #3: Pull request #1 opened by ZhiyuanSue
September 26, 2024 08:08 31s upstream
upstream
September 26, 2024 08:08 31s
Upstream seL4Test-Sim #3: Pull request #1 opened by ZhiyuanSue
September 26, 2024 08:08 12m 34s upstream
upstream
September 26, 2024 08:08 12m 34s
Upstream seL4Test-HW #1: Pull request #1 opened by ZhiyuanSue
September 26, 2024 08:08 5s
September 26, 2024 08:08 5s
debug CI #2: Commit 1a929a7 pushed by CtrlZ233
December 3, 2023 02:42 34s master
master
December 3, 2023 02:42 34s
debug Trigger #2: Commit 1a929a7 pushed by CtrlZ233
December 3, 2023 02:42 11s master
master
December 3, 2023 02:42 11s
debug seL4Test-Sim #2: Commit 1a929a7 pushed by CtrlZ233
December 3, 2023 02:42 9m 19s master
master
December 3, 2023 02:42 9m 19s
push smp args Trigger #1: Commit 672af85 pushed by CtrlZ233
October 16, 2023 06:10 14s master
master
October 16, 2023 06:10 14s
push smp args CI #1: Commit 672af85 pushed by CtrlZ233
October 16, 2023 06:10 1m 6s master
master
October 16, 2023 06:10 1m 6s
push smp args seL4Test-Sim #1: Commit 672af85 pushed by CtrlZ233
October 16, 2023 06:10 13m 37s master
master
October 16, 2023 06:10 13m 37s