8000 CI · Workflow runs · seL4/seL4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: seL4/seL4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
959 workflow runs
959 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix minimum CMake version in eswin config CI #6513: Pull request #1466 opened by Ivan-Velickovic
May 21, 2025 09:25 1m 21s eswin_fix_cmake_version
eswin_fix_cmake_version
May 21, 2025 09:25 1m 21s
Detect 'aarch64-elf-' toolchain CI #6512: Pull request #1465 synchronize by Indanz
May 21, 2025 07:53 1m 46s aarch64-elf-
aarch64-elf-
May 21, 2025 07:53 1m 46s
Detect 'aarch64-elf-' toolchain CI #6511: Pull request #1465 synchronize by Ivan-Velickovic
May 21, 2025 05:39 1m 28s aarch64-elf-
aarch64-elf-
May 21, 2025 05:39 1m 28s
Detect 'aarch64-elf-' toolchain CI #6510: Pull request #1465 opened by Ivan-Velickovic
May 21, 2025 05:35 1m 31s aarch64-elf-
aarch64-elf-
May 21, 2025 05:35 1m 31s
arm,riscv: eliminate idle_thread function prologue CI #6509: Pull request #1464 opened by midnightveil
May 21, 2025 04:20 1m 13s midnightveil:idle-thread-prologue
midnightveil:idle-thread-prologue
May 21, 2025 04:20 1m 13s
aarch32/vspace: use BIT and MASK macros CI #6508: Pull request #1460 synchronize by lsahn-gh
May 20, 2025 12:08 52s lsahn-gh:lsahn/vspace-use-BIT-macro
lsahn-gh:lsahn/vspace-use-BIT-macro
May 20, 2025 12:08 52s
aarch32/vspace: use BIT and MASK macros CI #6507: Pull request #1460 synchronize by lsahn-gh
May 20, 2025 11:19 1m 36s lsahn-gh:lsahn/vspace-use-BIT-macro
lsahn-gh:lsahn/vspace-use-BIT-macro
May 20, 2025 11:19 1m 36s
Fix cmake regex to work with qemu version 10 CI #6506: Pull request #1463 opened by josephg
May 20, 2025 07:14 1m 49s josephg:qemu-version-10-fix
josephg:qemu-version-10-fix
May 20, 2025 07:14 1m 49s
aarch32/vspace: use BIT and MASK macros CI #6505: Pull request #1460 synchronize by lsahn-gh
May 19, 2025 15:09 Action required lsahn-gh:lsahn/vspace-use-BIT-macro
lsahn-gh:lsahn/vspace-use-BIT-macro
May 19, 2025 15:09 Action required
aarch32/vspace: use BIT and MASK macros CI #6504: Pull request #1460 opened by lsahn-gh
May 18, 2025 07:06 45s lsahn-gh:lsahn/vspace-use-BIT-macro
lsahn-gh:lsahn/vspace-use-BIT-macro
May 18, 2025 07:06 45s
FPU Context Switching CI #6503: Pull request #1325 synchronize by Indanz
May 10, 2025 10:05 38s Indanz:fpu
Indanz:fpu
May 10, 2025 10:05 38s
FPU Context Switching CI #6502: Pull request #1325 synchronize by Indanz
May 9, 2025 17:10 48s Indanz:fpu
Indanz:fpu
May 9, 2025 17:10 48s
yieldTo: respect kernel reply protocol CI #6501: Pull request #1435 synchronize by michaelmcinerney
May 9, 2025 04:21 42s lsf37/set-consumed
lsf37/set-consumed
May 9, 2025 04:21 42s
FPU Context Switching CI #6500: Pull request #1325 synchronize by Indanz
May 8, 2025 14:40 1m 15s Indanz:fpu
Indanz:fpu
May 8, 2025 14:40 1m 15s
FPU Context Switching CI #6499: Pull request #1325 synchronize by Indanz
May 8, 2025 12:28 38s Indanz:fpu
Indanz:fpu
May 8, 2025 12:28 38s
FPU Context Switching CI #6498: Pull request #1325 synchronize by Indanz
May 8, 2025 12:14 1m 38s Indanz:fpu
Indanz:fpu
May 8, 2025 12:14 1m 38s
FPU Context Switching CI #6497: Pull request #1325 synchronize by Indanz
May 8, 2025 11:34 50s Indanz:fpu
Indanz:fpu
May 8, 2025 11:34 50s
FPU Context Switching CI #6496: Pull request #1325 synchronize by Indanz
May 8, 2025 11:05 56s Indanz:fpu
Indanz:fpu
May 8, 2025 11:05 56s
FPU Context Switching CI #6495: Pull request #1325 synchronize by Indanz
May 6, 2025 22:08 41s Indanz:fpu
Indanz:fpu
May 6, 2025 22:08 41s
FPU Context Switching CI #6494: Pull request #1325 synchronize by Indanz
May 5, 2025 23:31 41s Indanz:fpu
Indanz:fpu
May 5, 2025 23:31 41s
FPU Context Switching CI #6493: Pull request #1325 synchronize by Indanz
May 5, 2025 23:22 46s Indanz:fpu
Indanz:fpu
May 5, 2025 23:22 46s
Add new APIs for generating SGIs CI #6492: Pull request #1222 synchronize by lsf37
May 4, 2025 23:37 46s lsf37:lsf37/arm-sgi
lsf37:lsf37/arm-sgi
May 4, 2025 23:37 46s
cleanup: remove obselete pageType and asidMax CI #6491: Commit 349745c pushed by Indanz
May 2, 2025 11:39 43s master
master
May 2, 2025 11:39 43s
FPU Context Switching CI #6490: Pull request #1325 synchronize by Indanz
May 2, 2025 11:31 1m 0s Indanz:fpu
Indanz:fpu
May 2, 2025 11:31 1m 0s
Add new APIs for generating SGIs CI #6489: Pull request #1222 synchronize by lsf37
May 2, 2025 06:03 49s lsf37:lsf37/arm-sgi
lsf37:lsf37/arm-sgi
May 2, 2025 06:03 49s
0