Skip to content

Actions: seL4/seL4_tools

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
186 workflow runs
186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

elfloader: Add generic-timer driver CI #701: Pull request #168 synchronize by kent-mcleod
February 18, 2024 20:58 30s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 18, 2024 20:58 30s
elfloader: Add generic-timer driver CI #700: Pull request #168 synchronize by kent-mcleod
February 15, 2024 20:55 26s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 20:55 26s
elfloader: Add generic-timer driver CI #699: Pull request #168 synchronize by kent-mcleod
February 15, 2024 20:48 32s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 20:48 32s
elfloader: Add generic-timer driver CI #698: Pull request #168 synchronize by kent-mcleod
February 15, 2024 20:47 32s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 20:47 32s
elfloader: Add generic-timer driver CI #697: Pull request #168 synchronize by kent-mcleod
February 15, 2024 13:30 32s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 13:30 32s
elfloader: Add generic-timer driver CI #696: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:33 27s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:33 27s
elfloader: Add generic-timer driver CI #695: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:31 48s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:31 48s
elfloader: Add generic-timer driver CI #694: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:14 42s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:14 42s
elfloader: Add generic-timer driver CI #693: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:10 41s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:10 41s
elfloader: Add generic-timer driver CI #692: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:09 32s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:09 32s
elfloader: Add generic-timer driver CI #691: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:03 45s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:03 45s
elfloader: Add generic-timer driver CI #690: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:00 30s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:00 30s
improve RISC-V multi core boot CI #689: Pull request #132 synchronize by axel-h
February 15, 2024 10:11 25s axel-h:patch-axel-7
axel-h:patch-axel-7
February 15, 2024 10:11 25s
cmake: group arch specific handling CI #688: Pull request #162 synchronize by axel-h
February 15, 2024 10:09 48s axel-h:patch-axel-11
axel-h:patch-axel-11
February 15, 2024 10:09 48s
Elfloader: NVIDIA Jetson Orin support CI #687: Pull request #190 synchronize by andybui01
February 8, 2024 05:54 53s andybui01:andyb/orin-port
andybui01:andyb/orin-port
February 8, 2024 05:54 53s
Elfloader: NVIDIA Jetson Orin support CI #686: Pull request #190 synchronize by andybui01
February 8, 2024 05:52 27s andybui01:andyb/orin-port
andybui01:andyb/orin-port
February 8, 2024 05:52 27s
Elfloader: NVIDIA Jetson Orin support CI #685: Pull request #190 synchronize by andybui01
February 8, 2024 05:44 26s andybui01:andyb/orin-port
andybui01:andyb/orin-port
February 8, 2024 05:44 26s
Elfloader: NVIDIA Jetson Orin support CI #684: Pull request #190 opened by andybui01
February 8, 2024 03:55 34s andybui01:andyb/orin-port
andybui01:andyb/orin-port
February 8, 2024 03:55 34s
github: bump actions to node20 CI #683: Commit 92124ea pushed by lsf37
February 7, 2024 23:38 3m 18s master
master
February 7, 2024 23:38 3m 18s
github: bump actions to node20 CI #682: Pull request #189 opened by lsf37
February 7, 2024 04:55 27s github-node20
github-node20
February 7, 2024 04:55 27s
cmake: group arch specific handling CI #681: Pull request #162 synchronize by axel-h
February 1, 2024 02:03 32s axel-h:patch-axel-11
axel-h:patch-axel-11
February 1, 2024 02:03 32s
improve CPIO creation CI #680: Pull request #151 synchronize by axel-h
February 1, 2024 02:02 33s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
February 1, 2024 02:02 33s
elfloader: factor out load_dtb() CI #679: Pull request #161 synchronize by axel-h
February 1, 2024 01:59 27s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
February 1, 2024 01:59 27s
elfloader: factor out check_hash() CI #678: Pull request #160 synchronize by axel-h
February 1, 2024 01:59 39s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
February 1, 2024 01:59 39s
morello: Add FVP and SoC platforms to the EFI list CI #677: Pull request #188 opened by heshamelmatary
January 31, 2024 11:33 46s CTSRD-CHERI:pr1_morello_aarch64
CTSRD-CHERI:pr1_morello_aarch64
January 31, 2024 11:33 46s