Skip to content

Actions: seL4/sel4test

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
389 workflow runs
389 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

(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
add test for round robin threads seL4Test-HW #106: Pull request #125 synchronize by lsf37
July 25, 2024 09:16 3h 20m 30s
July 25, 2024 09:16 3h 20m 30s
add test for round robin threads PR #185: Pull request #125 synchronize by lsf37
July 25, 2024 04:38 23s round-robin
round-robin
July 25, 2024 04:38 23s
add test for round robin threads CI #238: Pull request #125 synchronize by lsf37
July 25, 2024 04:38 25s round-robin
round-robin
July 25, 2024 04:38 25s
add test for round robin threads seL4Test #207: Pull request #125 synchronize by lsf37
July 25, 2024 04:38 12m 41s round-robin
round-robin
July 25, 2024 04:38 12m 41s
add test for round robin threads seL4Test-HW #105: Pull request #125 synchronize by lsf37
July 25, 2024 04:38 3h 20m 8s
July 25, 2024 04:38 3h 20m 8s
add test for round robin threads seL4Test-HW #104: Pull request #125 labeled by lsf37
July 24, 2024 23:14 3h 21m 16s
July 24, 2024 23:14 3h 21m 16s
add test for round robin threads PR #184: Pull request #125 opened by lsf37
July 24, 2024 23:14 21s round-robin
round-robin
July 24, 2024 23:14 21s
add test for round robin threads seL4Test #206: Pull request #125 opened by lsf37
July 24, 2024 23:14 12m 41s round-robin
round-robin
July 24, 2024 23:14 12m 41s
add test for round robin threads CI #237: Pull request #125 opened by lsf37
July 24, 2024 23:14 33s round-robin
round-robin
July 24, 2024 23:14 33s
add test for round robin threads seL4Test-HW #103: Pull request #125 opened by lsf37
July 24, 2024 23:14 6s
July 24, 2024 23:14 6s
scheduler: resume does preempt Trigger #42: Commit fe4839e pushed by lsf37
July 12, 2024 06:42 16s master
master
July 12, 2024 06:42 16s
scheduler: resume does preempt CI #236: Commit fe4839e pushed by lsf37
July 12, 2024 06:42 43s master
master
July 12, 2024 06:42 43s
scheduler: resume does preempt seL4Test #205: Commit fe4839e pushed by lsf37
July 12, 2024 06:42 12m 27s master
master
July 12, 2024 06:42 12m 27s
scheduler: resume does preempt seL4Test-HW #102: Pull request #124 labeled by lsf37
July 10, 2024 06:07 3h 15m 26s
July 10, 2024 06:07 3h 15m 26s