Skip to content

Actions: seL4/sel4test

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
334 workflow runs
334 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SCHED0021: decrease chances of a race condition seL4Test-HW #34: Pull request #105 labeled by lsf37
October 27, 2023 01:37 1h 34m 10s
October 27, 2023 01:37 1h 34m 10s
SCHED0021: decrease chances of a race condition CI #162: Pull request #105 opened by lsf37
October 27, 2023 01:36 38s lsf37/sched0021
lsf37/sched0021
October 27, 2023 01:36 38s
SCHED0021: decrease chances of a race condition seL4Test #131: Pull request #105 opened by lsf37
October 27, 2023 01:36 16m 12s lsf37/sched0021
lsf37/sched0021
October 27, 2023 01:36 16m 12s
SCHED0021: decrease chances of a race condition PR #126: Pull request #105 opened by lsf37
October 27, 2023 01:36 28s lsf37/sched0021
lsf37/sched0021
October 27, 2023 01:36 28s
SCHED0021: decrease chances of a race condition seL4Test-HW #33: Pull request #105 opened by lsf37
October 27, 2023 01:36 7s
October 27, 2023 01:36 7s
settings: Disable timer tests for RocketChip CI #161: Pull request #104 opened by Ivan-Velickovic
October 23, 2023 04:03 34s Ivan-Velickovic:disable_rocketchip_timer_tests
Ivan-Velickovic:disable_rocketchip_timer_tests
October 23, 2023 04:03 34s
settings: Disable timer tests for RocketChip PR #125: Pull request #104 opened by Ivan-Velickovic
October 23, 2023 04:03 30s Ivan-Velickovic:disable_rocketchip_timer_tests
Ivan-Velickovic:disable_rocketchip_timer_tests
October 23, 2023 04:03 30s
settings: Disable timer tests for RocketChip seL4Test #130: Pull request #104 opened by Ivan-Velickovic
October 23, 2023 04:03 17m 13s Ivan-Velickovic:disable_rocketchip_timer_tests
Ivan-Velickovic:disable_rocketchip_timer_tests
October 23, 2023 04:03 17m 13s
settings: Disable timer tests for RocketChip seL4Test-HW #32: Pull request #104 opened by Ivan-Velickovic
October 23, 2023 04:03 5s
October 23, 2023 04:03 5s
ProTip! You can narrow down the results and go further in time using created:<2023-10-23 or the other filters available.