Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Start 2.3.1-dev release cycle CI #2015: Commit b08fce3 pushed by midnightveil
1m 3s main
main
1m 3s
Start 2.3.1-dev release cycle Deploy #63: Commit b08fce3 pushed by midnightveil
6h 0m 21s main
main
6h 0m 21s
Start 2.3.1-dev release cycle PR #1579: Pull request #611 opened by dreamliner787-9
33m 44s au-ts:2_3_1_dev
au-ts:2_3_1_dev
33m 44s
Start 2.3.1-dev release cycle CI #2014: Pull request #611 opened by dreamliner787-9
40s au-ts:2_3_1_dev
au-ts:2_3_1_dev
40s
manual: fix other PDF rendering bugs CI #2013: Commit a5f52ce pushed by midnightveil
34s main
main
34s
manual: fix other PDF rendering bugs CI #2012: Pull request #609 opened by dreamliner787-9
51s rpi4_manual_fix
rpi4_manual_fix
51s
manual: fix RPi4 entry not rendering in PDF CI #2011: Commit 8819b9b pushed by midnightveil
39s main
main
39s
manual: fix RPi4 entry not rendering in PDF CI #2010: Pull request #608 opened by dreamliner787-9
39s rpi4_manual_fix
rpi4_manual_fix
39s
Release 2.3.1 Deploy #62: Commit ec86afd pushed by dreamliner787-9
59m 53s 2.3.1
2.3.1
59m 53s
Release 2.3.1 CI #2009: Commit ec86afd pushed by dreamliner787-9
49s main
main
49s
Release 2.3.1 Deploy #61: Commit ec86afd pushed by dreamliner787-9
1h 7m 41s main
main
1h 7m 41s
2.3.1 CI #2008: Pull request #607 synchronize by dreamliner787-9
34s au-ts:2.3.1
au-ts:2.3.1
34s
2.3.1 PR #1578: Pull request #607 synchronize by dreamliner787-9
32m 49s au-ts:2.3.1
au-ts:2.3.1
32m 49s
2.3.1 CI #2007: Pull request #607 synchronize by dreamliner787-9
39s au-ts:2.3.1
au-ts:2.3.1
39s
2.3.1 CI #2006: Pull request #607 synchronize by dreamliner787-9
1m 1s au-ts:2.3.1
au-ts:2.3.1
1m 1s
2.3.1 CI #2005: Pull request #607 opened by dreamliner787-9
1m 1s au-ts:2.3.1
au-ts:2.3.1
1m 1s
tool: detect duplicate I/O APIC IRQs and MSIs CI #2004: Commit 8c6ca8c pushed by dreamliner787-9
46s main
main
46s
tool: detect duplicate I/O APIC IRQs and MSIs Deploy #60: Commit 8c6ca8c pushed by dreamliner787-9
43m 34s main
main
43m 34s
tool: detect duplicate I/O APIC IRQs and MSIs CI #2003: Pull request #600 synchronize by dreamliner787-9
33s au-ts:x86_duplicate_irq_check
au-ts:x86_duplicate_irq_check
33s
tool: detect duplicate I/O APIC IRQs and MSIs PR #1577: Pull request #600 synchronize by dreamliner787-9
53m 41s au-ts:x86_duplicate_irq_check
au-ts:x86_duplicate_irq_check
53m 41s
examples/hierarchy: add expected output CI #2002: Commit 547ab46 pushed by dreamliner787-9
37s main
main
37s
examples/hierarchy: add expected output Deploy #59: Commit 547ab46 pushed by dreamliner787-9
1h 23m 35s main
main
1h 23m 35s
tool: detect duplicate I/O APIC IRQs and MSIs CI #2001: Pull request #600 synchronize by dreamliner787-9
38s au-ts:x86_duplicate_irq_check
au-ts:x86_duplicate_irq_check
38s
tool: detect duplicate I/O APIC IRQs and MSIs PR #1576: Pull request #600 synchronize by dreamliner787-9
4m 16s au-ts:x86_duplicate_irq_check
au-ts:x86_duplicate_irq_check
4m 16s
tool: detect duplicate I/O APIC IRQs and MSIs PR #1575: Pull request #600 synchronize by dreamliner787-9
3m 57s au-ts:x86_duplicate_irq_check
au-ts:x86_duplicate_irq_check
3m 57s