Skip to content

Actions: seL4/ci-actions

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
312 workflow runs
312 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

camkes-vm: add vm_introspect CI #1028: Pull request #268 synchronize by axel-h
October 24, 2023 23:56 33s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
October 24, 2023 23:56 33s
platforms: add RISCVVIRT32 for QEMU RISC-V virt (#234) CI #1027: Commit 2a5f3a0 pushed by Ivan-Velickovic
October 24, 2023 23:44 37s master
master
October 24, 2023 23:44 37s
bashims: bump devscripts version CI #1026: Pull request #287 opened by axel-h
October 24, 2023 15:11 45s axel-h:patch-axel-4
axel-h:patch-axel-4
October 24, 2023 15:11 45s
add simulation tests for RISCVVIRT32 CI #1025: Pull request #234 synchronize by axel-h
October 24, 2023 14:18 44s Hensoldt-Cyber:patch-axel-7
Hensoldt-Cyber:patch-axel-7
October 24, 2023 14:18 44s
add simulation tests for RISCVVIRT32 CI #1024: Pull request #234 synchronize by axel-h
October 24, 2023 14:15 48s Hensoldt-Cyber:patch-axel-7
Hensoldt-Cyber:patch-axel-7
October 24, 2023 14:15 48s
camkes-vm: add vm_introspect CI #1023: Pull request #268 synchronize by axel-h
October 24, 2023 14:15 32s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
October 24, 2023 14:15 32s
platforms: add Pine64 Star64 CI #1022: Pull request #283 synchronize by Ivan-Velickovic
August 22, 2023 00:18 36s Ivan-Velickovic:star64
Ivan-Velickovic:star64
August 22, 2023 00:18 36s
platforms: add Pine64 Star64 CI #1021: Pull request #283 opened by Ivan-Velickovic
August 22, 2023 00:18 38s Ivan-Velickovic:star64
Ivan-Velickovic:star64
August 22, 2023 00:18 38s
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
ProTip! You can narrow down the results and go further in time using created:<2023-07-18 or the other filters available.