Skip to content

Actions: seL4/sel4test

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
341 workflow runs
341 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: cancel older concurrent PR runs
CI #205: Pull request #119 opened by axel-h
April 4, 2024 12:30 54s axel-h:patch-axel-6
April 4, 2024 12:30 54s
CI: cancel older concurrent PR runs
PR #159: Pull request #119 opened by axel-h
April 4, 2024 12:30 32s axel-h:patch-axel-6
April 4, 2024 12:30 32s
CI: cancel older concurrent PR runs
seL4Test #174: Pull request #119 opened by axel-h
April 4, 2024 12:30 13m 0s axel-h:patch-axel-6
April 4, 2024 12:30 13m 0s
CI: cancel older concurrent PR runs
seL4Test-HW #73: Pull request #119 opened by axel-h
April 4, 2024 12:30 5s
April 4, 2024 12:30 5s
CI: cancel older concurrent PR runs
seL4Test-HW #72: Pull request #119 labeled by axel-h
April 4, 2024 12:30 5s
April 4, 2024 12:30 5s
CMake: allow skipping include of settings.cmake
CI #204: Pull request #40 synchronize by axel-h
April 4, 2024 08:52 29s axel-h:patch-axel-1
April 4, 2024 08:52 29s
CMake: allow skipping include of settings.cmake
PR #158: Pull request #40 synchronize by axel-h
April 4, 2024 08:52 24s axel-h:patch-axel-1
April 4, 2024 08:52 24s
CMake: allow skipping include of settings.cmake
seL4Test #173: Pull request #40 synchronize by axel-h
April 4, 2024 08:52 12m 42s axel-h:patch-axel-1
April 4, 2024 08:52 12m 42s
CMake: allow skipping include of settings.cmake
seL4Test-HW #71: Pull request #40 synchronize by axel-h
April 4, 2024 08:52 5s
April 4, 2024 08:52 5s
CI: the seL4/machine_queue repo is public now
CI #203: Commit b416516 pushed by lsf37
April 4, 2024 07:11 51s master
April 4, 2024 07:11 51s
CI: the seL4/machine_queue repo is public now
seL4Test #172: Commit b416516 pushed by lsf37
April 4, 2024 07:11 12m 51s master
April 4, 2024 07:11 12m 51s
CI: the seL4/machine_queue repo is public now
Trigger #35: Commit b416516 pushed by lsf37
April 4, 2024 07:11 19s master
April 4, 2024 07:11 19s
CMake: allow skipping include of settings.cmake
seL4Test #171: Pull request #40 synchronize by Indanz
April 1, 2024 08:46 12m 42s axel-h:patch-axel-1
April 1, 2024 08:46 12m 42s
CMake: allow skipping include of settings.cmake
PR #157: Pull request #40 synchronize by Indanz
April 1, 2024 08:46 20s axel-h:patch-axel-1
April 1, 2024 08:46 20s
CMake: allow skipping include of settings.cmake
CI #202: Pull request #40 synchronize by Indanz
April 1, 2024 08:46 27s axel-h:patch-axel-1
April 1, 2024 08:46 27s
CMake: allow skipping include of settings.cmake
seL4Test-HW #70: Pull request #40 synchronize by Indanz
April 1, 2024 08:46 3s
April 1, 2024 08:46 3s
CI: the seL4/machine_queue repo is public now
PR #156: Pull request #118 synchronize by Indanz
April 1, 2024 08:42 26s axel-h:patch-axel-4
April 1, 2024 08:42 26s
CI: the seL4/machine_queue repo is public now
CI #201: Pull request #118 synchronize by Indanz
April 1, 2024 08:42 23s axel-h:patch-axel-4
April 1, 2024 08:42 23s
CI: the seL4/machine_queue repo is public now
seL4Test #170: Pull request #118 synchronize by Indanz
April 1, 2024 08:42 12m 45s axel-h:patch-axel-4
April 1, 2024 08:42 12m 45s
CI: the seL4/machine_queue repo is public now
seL4Test-HW #69: Pull request #118 synchronize by Indanz
April 1, 2024 08:42 4s
April 1, 2024 08:42 4s
cmake: remove trailing slash
Trigger #34: Commit a8f83c5 pushed by Indanz
April 1, 2024 08:40 18s master
April 1, 2024 08:40 18s
cmake: remove trailing slash
seL4Test #169: Commit a8f83c5 pushed by Indanz
April 1, 2024 08:40 12m 48s master
April 1, 2024 08:40 12m 48s
cmake: remove trailing slash
CI #200: Commit a8f83c5 pushed by Indanz
April 1, 2024 08:40 49s master
April 1, 2024 08:40 49s
CMake: allow skipping include of settings.cmake
PR #155: Pull request #40 synchronize by axel-h
March 31, 2024 23:40 20s axel-h:patch-axel-1
March 31, 2024 23:40 20s
CMake: allow skipping include of settings.cmake
CI #199: Pull request #40 synchronize by axel-h
March 31, 2024 23:40 27s axel-h:patch-axel-1
March 31, 2024 23:40 27s