Skip to content

Actions: seL4/sel4test

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
364 workflow runs
364 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve periodic_thread counter check CI #244: Commit d89ce01 pushed by Indanz
November 26, 2024 23:45 29s master
master
November 26, 2024 23:45 29s
Improve periodic_thread counter check Trigger #43: Commit d89ce01 pushed by Indanz
November 26, 2024 23:45 14s master
master
November 26, 2024 23:45 14s
Improve periodic_thread counter check seL4Test #213: Commit d89ce01 pushed by Indanz
November 26, 2024 23:45 9m 37s master
master
November 26, 2024 23:45 9m 37s
Speedup Tests seL4Test-HW #113: Pull request #128 labeled by Indanz
November 24, 2024 22:48 38m 3s
November 24, 2024 22:48 38m 3s
Speedup Tests seL4Test #212: Pull request #128 synchronize by Indanz
November 24, 2024 22:28 9m 29s Indanz:speedup
Indanz:speedup
November 24, 2024 22:28 9m 29s
Speedup Tests CI #243: Pull request #128 synchronize by Indanz
November 24, 2024 22:28 29s Indanz:speedup
Indanz:speedup
November 24, 2024 22:28 29s
Speedup Tests PR #190: Pull request #128 synchronize by Indanz
November 24, 2024 22:28 20s Indanz:speedup
Indanz:speedup
November 24, 2024 22:28 20s
Speedup Tests seL4Test-HW #112: Pull request #128 synchronize by Indanz
November 24, 2024 22:28 21s
November 24, 2024 22:28 21s
Speedup Tests PR #189: Pull request #128 opened by Indanz
November 24, 2024 22:14 36s Indanz:speedup
Indanz:speedup
November 24, 2024 22:14 36s
Speedup Tests seL4Test #211: Pull request #128 opened by Indanz
November 24, 2024 22:14 1m 54s Indanz:speedup
Indanz:speedup
November 24, 2024 22:14 1m 54s
Speedup Tests CI #242: Pull request #128 opened by Indanz
November 24, 2024 22:14 31s Indanz:speedup
Indanz:speedup
November 24, 2024 22:14 31s
Speedup Tests seL4Test-HW #111: Pull request #128 opened by Indanz
November 24, 2024 22:14 14m 11s
November 24, 2024 22:14 14m 11s
Speedup Tests seL4Test-HW #110: Pull request #128 labeled by Indanz
November 24, 2024 22:14 3s
November 24, 2024 22:14 3s
Speedup Tests seL4Test-HW #109: Pull request #128 labeled by Indanz
November 24, 2024 22:14 4s
November 24, 2024 22:14 4s
(don't merge) Remove const qualifiers from domain schedule variables PR #188: Pull request #126 opened by JE-Archer
September 6, 2024 05:18 32s JE-Archer:non_const_domains
JE-Archer:non_const_domains
September 6, 2024 05:18 32s
(don't merge) Remove const qualifiers from domain schedule variables seL4Test #210: Pull request #126 opened by JE-Archer
September 6, 2024 05:18 1m 37s JE-Archer:non_const_domains
JE-Archer:non_const_domains
September 6, 2024 05:18 1m 37s
(don't merge) Remove const qualifiers from domain schedule variables CI #241: Pull request #126 opened by JE-Archer
September 6, 2024 05:18 30s JE-Archer:non_const_domains
JE-Archer:non_const_domains
September 6, 2024 05:18 30s
(don't merge) Remove const qualifiers from domain schedule variables seL4Test-HW #108: Pull request #126 opened by JE-Archer
September 6, 2024 05:18 5s
September 6, 2024 05:18 5s
add test for round robin threads seL4Test #209: Pull request #125 synchronize by lsf37
July 26, 2024 01:41 12m 48s round-robin
round-robin
July 26, 2024 01:41 12m 48s
add test for round robin threads CI #240: Pull request #125 synchronize by lsf37
July 26, 2024 01:41 33s round-robin
round-robin
July 26, 2024 01:41 33s
add test for round robin threads PR #187: Pull request #125 synchronize by lsf37
July 26, 2024 01:41 23s round-robin
round-robin
July 26, 2024 01:41 23s
add test for round robin threads seL4Test-HW #107: Pull request #125 synchronize by lsf37
July 26, 2024 01:41 1h 29m 16s
July 26, 2024 01:41 1h 29m 16s
add test for round robin threads seL4Test #208: Pull request #125 synchronize by lsf37
July 25, 2024 09:16 12m 39s round-robin
round-robin
July 25, 2024 09:16 12m 39s
add test for round robin threads CI #239: Pull request #125 synchronize by lsf37
July 25, 2024 09:16 38s round-robin
round-robin
July 25, 2024 09:16 38s
add test for round robin threads PR #186: Pull request #125 synchronize by lsf37
July 25, 2024 09:16 21s round-robin
round-robin
July 25, 2024 09:16 21s