Skip to content

Actions: rel4team/seL4-tools

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upstream (#1) CI #4: Commit f1bff11 pushed by ZhiyuanSue
September 26, 2024 08:08 39s master
master
September 26, 2024 08:08 39s
Upstream CI #3: Pull request #1 opened by ZhiyuanSue
September 26, 2024 08:08 31s upstream
upstream
September 26, 2024 08:08 31s
debug CI #2: Commit 1a929a7 pushed by CtrlZ233
December 3, 2023 02:42 34s master
master
December 3, 2023 02:42 34s
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