Skip to content

Actions: kent-mcleod/seL4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
arm/gic: disable interrupt before modifying GICD_ICFGRn seL4Test #17: Pull request #18 opened by kent-mcleod
12m 1s fix/gic-disable-irq-before-config-change
fix/gic-disable-irq-before-config-change
12m 1s
arm/gic: disable interrupt before modifying GICD_ICFGRn PR #41: Pull request #18 opened by kent-mcleod
3m 26s fix/gic-disable-irq-before-config-change
fix/gic-disable-irq-before-config-change
3m 26s
arm/gic: disable interrupt before modifying GICD_ICFGRn CI #50: Pull request #18 opened by kent-mcleod
1m 8s fix/gic-disable-irq-before-config-change
fix/gic-disable-irq-before-config-change
1m 8s
arm/gic: disable interrupt before modifying GICD_ICFGRn RefMan #23: Pull request #18 opened by kent-mcleod
1m 37s fix/gic-disable-irq-before-config-change
fix/gic-disable-irq-before-config-change
1m 37s
arm/gic: disable interrupt before modifying GICD_ICFGRn C Parser #23: Pull request #18 opened by kent-mcleod
1m 31s fix/gic-disable-irq-before-config-change
fix/gic-disable-irq-before-config-change
1m 31s
arm/gic: disable interrupt before modifying GICD_ICFGRn Compile #50: Pull request #18 opened by kent-mcleod
2m 24s fix/gic-disable-irq-before-config-change
fix/gic-disable-irq-before-config-change
2m 24s
Runtime Domain Schedules CI #49: Commit 27a52dd pushed by kent-mcleod
38s master
master
38s
Runtime Domain Schedules Deploy #6: Commit 27a52dd pushed by kent-mcleod
1h 6m 22s master
master
1h 6m 22s
Runtime Domain Schedules XML #12: Commit 27a52dd pushed by kent-mcleod
27s master
master
27s
Runtime Domain Schedules Proof Sync #6: Commit 27a52dd pushed by kent-mcleod
5m 40s master
master
5m 40s
Runtime Domain Schedules C Parser #22: Commit 27a52dd pushed by kent-mcleod
1m 30s master
master
1m 30s
Runtime Domain Schedules Compile #49: Commit 27a52dd pushed by kent-mcleod
1m 4s master
master
1m 4s
Runtime Domain Schedules RefMan #22: Commit 27a52dd pushed by kent-mcleod
1m 26s master
master
1m 26s
Runtime Domain Schedules Trigger #6: Commit 27a52dd pushed by kent-mcleod
1s master
master
1s
Kent/n1 PR #40: Pull request #17 synchronize by kent-mcleod
4m 54s kent/N1
kent/N1
4m 54s
Kent/n1 seL4Test #16: Pull request #17 synchronize by kent-mcleod
2m 38s kent/N1
kent/N1
2m 38s
Kent/n1 CI #48: Pull request #17 synchronize by kent-mcleod
44s kent/N1
kent/N1
44s
Kent/n1 RefMan #21: Pull request #17 synchronize by kent-mcleod
1m 21s kent/N1
kent/N1
1m 21s
Kent/n1 Compile #48: Pull request #17 synchronize by kent-mcleod
1m 1s kent/N1
kent/N1
1m 1s
Kent/n1 C Parser #21: Pull request #17 synchronize by kent-mcleod
1m 34s kent/N1
kent/N1
1m 34s
Kent/n1 HW #1: Pull request #17 synchronize by kent-mcleod
1s
1s
Kent/n1 Proofs #16: Pull request #17 synchronize by kent-mcleod
1s
1s
Kent/n1 CI #47: Pull request #17 opened by kent-mcleod
1m 53s kent/N1
kent/N1
1m 53s
Kent/n1 PR #39: Pull request #17 opened by kent-mcleod
2m 42s kent/N1
kent/N1
2m 42s
Kent/n1 seL4Test #15: Pull request #17 opened by kent-mcleod
1m 49s kent/N1
kent/N1
1m 49s