Skip to content

Actions: NON-OS/microkernel

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
linux: a guest holds only the memory it asked for ci #1883: Pull request #586 synchronize by eKisNonos
Pending linux/guest-memory
linux/guest-memory
Pending
linux: a guest holds only the memory it asked for lean #2034: Pull request #586 synchronize by eKisNonos
58s linux/guest-memory
linux/guest-memory
58s
linux: a guest holds only the memory it asked for verify #2005: Pull request #586 synchronize by eKisNonos
Queued linux/guest-memory
linux/guest-memory
Queued
linux: a guest holds only the memory it asked for ci-boot-smoke #247: Pull request #586 synchronize by eKisNonos
In progress linux/guest-memory
linux/guest-memory
In progress
linux: split the memory files to 75 lines and write comments as blocks verify #2004: Commit a42cf1f pushed by eKisNonos
5s linux/guest-memory
linux/guest-memory
5s
linux: split the memory files to 75 lines and write comments as blocks lean #2033: Commit a42cf1f pushed by eKisNonos
8s linux/guest-memory
linux/guest-memory
8s
linux: a guest's sockets are the family's own, on 127.0.0.0/8 ci #1882: Pull request #584 synchronize by eKisNonos
In progress linux/guest-sockets
linux/guest-sockets
In progress
linux: a guest's sockets are the family's own, on 127.0.0.0/8 ci-boot-smoke #246: Pull request #584 synchronize by eKisNonos
In progress linux/guest-sockets
linux/guest-sockets
In progress
linux: a guest's sockets are the family's own, on 127.0.0.0/8 lean #2032: Pull request #584 synchronize by eKisNonos
56s linux/guest-sockets
linux/guest-sockets
56s
linux: a guest's sockets are the family's own, on 127.0.0.0/8 verify #2003: Pull request #584 synchronize by eKisNonos
In progress linux/guest-sockets
linux/guest-sockets
In progress
linux guests: socket guests split into parts of at most 72 lines lean #2031: Commit de69c36 pushed by eKisNonos
5s linux/guest-sockets
linux/guest-sockets
5s
linux guests: socket guests split into parts of at most 72 lines verify #2002: Commit de69c36 pushed by eKisNonos
5s linux/guest-sockets
linux/guest-sockets
5s
linux: Go's own standard-library tests as the oracle for Linux guests ci #1881: Pull request #588 opened by eKisNonos
In progress linux/go-std-suite
linux/go-std-suite
In progress
linux: Go's own standard-library tests as the oracle for Linux guests lean #2030: Pull request #588 opened by eKisNonos
2m 58s linux/go-std-suite
linux/go-std-suite
2m 58s
linux: Go's own standard-library tests as the oracle for Linux guests ci-boot-smoke #245: Pull request #588 opened by eKisNonos
In progress linux/go-std-suite
linux/go-std-suite
In progress
linux: Go's own standard-library tests as the oracle for Linux guests verify #2001: Pull request #588 opened by eKisNonos
In progress linux/go-std-suite
linux/go-std-suite
In progress
linux: the files, /proc, /dev and system facts a Linux program looks for ci #1880: Pull request #587 opened by eKisNonos
Pending linux/guest-files
linux/guest-files
Pending
linux: the files, /proc, /dev and system facts a Linux program looks for verify #2000: Pull request #587 opened by eKisNonos
In progress linux/guest-files
linux/guest-files
In progress
linux: the files, /proc, /dev and system facts a Linux program looks for ci-boot-smoke #244: Pull request #587 opened by eKisNonos
In progress linux/guest-files
linux/guest-files
In progress
linux: the files, /proc, /dev and system facts a Linux program looks for lean #2029: Pull request #587 opened by eKisNonos
53s linux/guest-files
linux/guest-files
53s
linux: a guest holds only the memory it asked for ci #1879: Pull request #586 opened by eKisNonos
12m 28s linux/guest-memory
linux/guest-memory
12m 28s
linux: a guest holds only the memory it asked for verify #1999: Pull request #586 opened by eKisNonos
11m 24s linux/guest-memory
linux/guest-memory
11m 24s
linux: a guest holds only the memory it asked for lean #2028: Pull request #586 opened by eKisNonos
1m 10s linux/guest-memory
linux/guest-memory
1m 10s
linux: a guest holds only the memory it asked for ci-boot-smoke #243: Pull request #586 opened by eKisNonos
11m 29s linux/guest-memory
linux/guest-memory
11m 29s
linux: process lifecycle and signals as Linux has them ci #1878: Pull request #585 opened by eKisNonos
Pending linux/guest-lifecycle
linux/guest-lifecycle
Pending