Skip to content

Actions: seL4/ci-actions

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
4 workflow run results
4 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add new host keys CI #1020: Commit 607634d pushed by lsf37
July 19, 2023 02:02 40s master
master
July 19, 2023 02:02 40s
Add new host keys CI #1019: Pull request #280 opened by wom-bat
July 18, 2023 20:37 31s fix_host_keys
fix_host_keys
July 18, 2023 20:37 31s
scripts: update ts server ID CI #1018: Commit e1f9950 pushed by lsf37
July 18, 2023 10:22 31s master
master
July 18, 2023 10:22 31s
scripts: update ts server ID CI #1017: Pull request #279 opened by lsf37
July 18, 2023 10:15 28s ssh-id
ssh-id
July 18, 2023 10:15 28s