Skip to content

Actions: rel4team/seL4-tools

Actions

Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
trigger.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upstream (#1) Trigger #3: Commit f1bff11 pushed by ZhiyuanSue
September 26, 2024 08:08 23s master
master
September 26, 2024 08:08 23s
debug Trigger #2: Commit 1a929a7 pushed by CtrlZ233
December 3, 2023 02:42 11s master
master
December 3, 2023 02:42 11s
push smp args Trigger #1: Commit 672af85 pushed by CtrlZ233
October 16, 2023 06:10 14s master
master
October 16, 2023 06:10 14s