Skip to content

Actions: seL4/seL4_tools

Actions

seL4Test-HW

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-hw.yml
190 workflow runs
190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

elfloader: factor out load_dtb() seL4Test-HW #253: Pull request #161 synchronize by axel-h
February 26, 2024 00:52 41m 52s
February 26, 2024 00:52 41m 52s
elfloader: factor out load_dtb() seL4Test-HW #252: Pull request #161 synchronize by axel-h
February 26, 2024 00:51 6h 43m 58s
February 26, 2024 00:51 6h 43m 58s
Elfloader: NVIDIA Jetson Orin support seL4Test-HW #251: Pull request #190 synchronize by andybui01
February 25, 2024 23:56 6h 0m 25s
February 25, 2024 23:56 6h 0m 25s
improve CPIO creation seL4Test-HW #250: Pull request #151 synchronize by axel-h
February 25, 2024 15:10 42m 47s
February 25, 2024 15:10 42m 47s
elfloader: factor out check_hash() seL4Test-HW #249: Pull request #160 synchronize by axel-h
February 23, 2024 19:10 43m 6s
February 23, 2024 19:10 43m 6s
elfloader: factor out check_hash() seL4Test-HW #248: Pull request #160 synchronize by axel-h
February 23, 2024 18:39 43m 40s
February 23, 2024 18:39 43m 40s
improve CPIO creation seL4Test-HW #247: Pull request #151 synchronize by axel-h
February 23, 2024 14:22 42m 52s
February 23, 2024 14:22 42m 52s
elfloader: factor out check_hash() seL4Test-HW #246: Pull request #160 labeled by axel-h
February 23, 2024 14:10 43m 48s
February 23, 2024 14:10 43m 48s
Elfloader: NVIDIA Jetson Orin support seL4Test-HW #245: Pull request #190 synchronize by andybui01
February 23, 2024 05:18 4h 27m 28s
February 23, 2024 05:18 4h 27m 28s
improve CPIO creation seL4Test-HW #244: Pull request #151 synchronize by axel-h
February 20, 2024 16:50 43m 14s
February 20, 2024 16:50 43m 14s
improve CPIO creation seL4Test-HW #243: Pull request #151 synchronize by axel-h
February 20, 2024 16:21 44m 23s
February 20, 2024 16:21 44m 23s
improve CPIO creation seL4Test-HW #242: Pull request #151 synchronize by axel-h
February 20, 2024 16:19 43m 24s
February 20, 2024 16:19 43m 24s
improve CPIO creation seL4Test-HW #241: Pull request #151 synchronize by axel-h
February 20, 2024 16:17 43m 44s
February 20, 2024 16:17 43m 44s
improve CPIO creation seL4Test-HW #240: Pull request #151 synchronize by axel-h
February 20, 2024 16:16 44m 21s
February 20, 2024 16:16 44m 21s
improve CPIO creation seL4Test-HW #239: Pull request #151 labeled by axel-h
February 19, 2024 17:04 43m 12s
February 19, 2024 17:04 43m 12s
improve CPIO creation seL4Test-HW #238: Pull request #151 synchronize by axel-h
February 19, 2024 11:24 4s
February 19, 2024 11:24 4s
elfloader: factor out load_dtb() seL4Test-HW #237: Pull request #161 synchronize by axel-h
February 19, 2024 11:23 6h 50m 48s
February 19, 2024 11:23 6h 50m 48s
elfloader: factor out check_hash() seL4Test-HW #236: Pull request #160 synchronize by axel-h
February 19, 2024 11:23 4s
February 19, 2024 11:23 4s
cmake: group arch specific handling seL4Test-HW #235: Pull request #162 synchronize by axel-h
February 19, 2024 11:18 6s
February 19, 2024 11:18 6s
elfloader: Add generic-timer driver seL4Test-HW #234: Pull request #168 synchronize by kent-mcleod
February 18, 2024 20:58 4s
February 18, 2024 20:58 4s
elfloader: Add generic-timer driver seL4Test-HW #233: Pull request #168 synchronize by kent-mcleod
February 15, 2024 20:55 4s
February 15, 2024 20:55 4s
elfloader: Add generic-timer driver seL4Test-HW #232: Pull request #168 synchronize by kent-mcleod
February 15, 2024 20:48 4s
February 15, 2024 20:48 4s
elfloader: Add generic-timer driver seL4Test-HW #231: Pull request #168 synchronize by kent-mcleod
February 15, 2024 20:47 4s
February 15, 2024 20:47 4s
elfloader: Add generic-timer driver seL4Test-HW #230: Pull request #168 synchronize by kent-mcleod
February 15, 2024 13:30 5s
February 15, 2024 13:30 5s
elfloader: Add generic-timer driver seL4Test-HW #229: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:33 5s
February 15, 2024 12:33 5s