Skip to content

Actions: rel4team/seL4-tools

Actions

seL4Test-Sim

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-sim.yml
4 workflow runs
4 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 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
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 seL4Test-Sim #1: Commit 672af85 pushed by CtrlZ233
October 16, 2023 06:10 13m 37s master
master
October 16, 2023 06:10 13m 37s