Skip to content

Actions: seL4/seL4_tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
764 workflow runs
764 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cmake: group arch specific handling CI #615: Pull request #162 synchronize by axel-h
August 13, 2023 17:18 27s axel-h:patch-axel-11
axel-h:patch-axel-11
August 13, 2023 17:18 27s
cmake: group arch specific handling seL4Test-HW #145: Pull request #162 synchronize by axel-h
August 13, 2023 17:18 3s
August 13, 2023 17:18 3s
improve RISC-V multi core boot seL4Test-Sim #330: Pull request #132 synchronize by axel-h
August 13, 2023 17:17 13m 59s axel-h:patch-axel-7
axel-h:patch-axel-7
August 13, 2023 17:17 13m 59s
improve RISC-V multi core boot CI #614: Pull request #132 synchronize by axel-h
August 13, 2023 17:17 50s axel-h:patch-axel-7
axel-h:patch-axel-7
August 13, 2023 17:17 50s
improve RISC-V multi core boot PR #513: Pull request #132 synchronize by axel-h
August 13, 2023 17:17 31s axel-h:patch-axel-7
axel-h:patch-axel-7
August 13, 2023 17:17 31s
improve RISC-V multi core boot seL4Test-HW #144: Pull request #132 synchronize by axel-h
August 13, 2023 17:17 7s
August 13, 2023 17:17 7s
Changes to enable linking with LLVM/lld seL4Test-HW #143: Pull request #173 labeled by kent-mcleod
August 11, 2023 06:40 1h 31m 42s
August 11, 2023 06:40 1h 31m 42s
Changes to enable linking with LLVM/lld seL4Test-HW #142: Pull request #173 labeled by kent-mcleod
August 11, 2023 06:40 2h 3m 9s
August 11, 2023 06:40 2h 3m 9s
Changes to enable linking with LLVM/lld CI #613: Pull request #173 synchronize by heshamelmatary
July 27, 2023 14:01 34s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 27, 2023 14:01 34s
Changes to enable linking with LLVM/lld seL4Test-Sim #329: Pull request #173 synchronize by heshamelmatary
July 27, 2023 14:01 2m 43s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 27, 2023 14:01 2m 43s
Changes to enable linking with LLVM/lld PR #512: Pull request #173 synchronize by heshamelmatary
July 27, 2023 14:01 28s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 27, 2023 14:01 28s
Changes to enable linking with LLVM/lld seL4Test-HW #141: Pull request #173 synchronize by heshamelmatary
July 27, 2023 14:01 11s
July 27, 2023 14:01 11s
Changes to enable linking with LLVM/lld CI #612: Pull request #173 synchronize by heshamelmatary
July 26, 2023 11:15 31s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 26, 2023 11:15 31s
Changes to enable linking with LLVM/lld seL4Test-Sim #328: Pull request #173 synchronize by heshamelmatary
July 26, 2023 11:15 2m 12s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 26, 2023 11:15 2m 12s
Changes to enable linking with LLVM/lld PR #511: Pull request #173 synchronize by heshamelmatary
July 26, 2023 11:15 24s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 26, 2023 11:15 24s
Changes to enable linking with LLVM/lld seL4Test-HW #140: Pull request #173 synchronize by heshamelmatary
July 26, 2023 11:15 9s
July 26, 2023 11:15 9s
Changes to enable linking with LLVM/lld seL4Test-Sim #327: Pull request #173 opened by heshamelmatary
July 26, 2023 10:33 2m 42s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 26, 2023 10:33 2m 42s
Changes to enable linking with LLVM/lld CI #611: Pull request #173 opened by heshamelmatary
July 26, 2023 10:33 42s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 26, 2023 10:33 42s
Changes to enable linking with LLVM/lld PR #510: Pull request #173 opened by heshamelmatary
July 26, 2023 10:33 34s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 26, 2023 10:33 34s
Changes to enable linking with LLVM/lld seL4Test-HW #139: Pull request #173 opened by heshamelmatary
July 26, 2023 10:33 10s
July 26, 2023 10:33 10s
Fix RISC-V compilation with recent GCC (#171) Trigger #41: Commit a9d1b6d pushed by wom-bat
July 13, 2023 09:42 14s master
master
July 13, 2023 09:42 14s
Fix RISC-V compilation with recent GCC (#171) seL4Test-Sim #326: Commit a9d1b6d pushed by wom-bat
July 13, 2023 09:42 12m 53s master
master
July 13, 2023 09:42 12m 53s
Fix RISC-V compilation with recent GCC (#171) CI #610: Commit a9d1b6d pushed by wom-bat
July 13, 2023 09:42 39s master
master
July 13, 2023 09:42 39s
Fix RISC-V compilation with recent GCC seL4Test-HW #138: Pull request #171 synchronize by wom-bat
July 13, 2023 09:40 6s
July 13, 2023 09:40 6s
Fix RISC-V compilation with recent GCC seL4Test-Sim #325: Pull request #171 synchronize by wom-bat
July 13, 2023 09:40 13m 7s wom-bat:master
wom-bat:master
July 13, 2023 09:40 13m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-07-13 or the other filters available.