Skip to content

Actions: NON-OS/microkernel

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,907 workflow runs
1,907 workflow runs

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
build(deps): bump curve25519-dalek from 4.1.3 to 5.0.0 ci #1909: Pull request #600 opened by dependabot Bot
44m 24s dependabot/cargo/curve25519-dalek-5.0.0
dependabot/cargo/curve25519-dalek-5.0.0
44m 24s
build(deps): bump x86_64 from 0.14.13 to 0.15.5 ci #1908: Pull request #599 opened by dependabot Bot
34m 54s dependabot/cargo/x86_64-0.15.5
dependabot/cargo/x86_64-0.15.5
34m 54s
build(deps): bump bitvec from 1.0.1 to 1.1.1 ci #1907: Pull request #598 opened by dependabot Bot
39m 55s dependabot/cargo/bitvec-1.1.1
dependabot/cargo/bitvec-1.1.1
39m 55s
build(deps): bump smallvec from 1.15.2 to 1.16.2 ci #1906: Pull request #597 opened by dependabot Bot
40m 8s dependabot/cargo/smallvec-1.16.2
dependabot/cargo/smallvec-1.16.2
40m 8s
build(deps): bump sha3 from 0.10.9 to 0.12.0 ci #1905: Pull request #596 opened by dependabot Bot
40m 13s dependabot/cargo/sha3-0.12.0
dependabot/cargo/sha3-0.12.0
40m 13s
build(deps): bump model-checking/kani-github-action from 2534b7aeb3c6b4b0a5ecc3981bb3e63d47b5b126 to 69d357bade1eb7b32bc3fc3d5c3d173c5bfa5237 ci #1904: Pull request #595 opened by dependabot Bot
32m 34s dependabot/github_actions/model-checking/kani-github-action-69d357bade1eb7b32bc3fc3d5c3d173c5bfa5237
dependabot/github_actions/model-checking/kani-github-action-69d357bade1eb7b32bc3fc3d5c3d173c5bfa5237
32m 34s
memory: a guest holds only the pages it was given, and a closed span stays closed ci #1903: Pull request #594 opened by senseix21
41m 51s fix/593-memory-confinement
fix/593-memory-confinement
41m 51s
linux: land the Linux lane on main; terminal linux command, signals to running threads, pipe waits, madvise, VFS store, Process Manager ci #1902: Pull request #593 opened by eKisNonos
42m 30s linux/sync
linux/sync
42m 30s
Wired NICs reach the stack; drivers come up on UEFI PCs; wifi key index; iwlwifi first steps ci #1901: Pull request #592 opened by eKisNonos
42m 48s drivers/net-real-hardware
drivers/net-real-hardware
42m 48s
#591 lean prove 164 more functions and fix the kernel bugs the proofs… ci #1900: Commit dceba0e pushed by eKisNonos
1h 15m 9s main
main
1h 15m 9s
linux: run Go and musl threads in a guest, let them wait as on Linux, and end the guest whole ci #1899: Pull request #582 synchronize by eKisNonos
32m 1s linux/go-guests
linux/go-guests
32m 1s
Lean verification: prove 164 more functions and fix the kernel bugs the proofs found ci #1898: Pull request #591 synchronize by eKisNonos
40m 41s lean/substantive
lean/substantive
40m 41s
Anyone network in the browser, a standards-based engine, and a fast network path ci #1897: Pull request #589 synchronize by eKisNonos
43m 17s feat/anyone-browser
feat/anyone-browser
43m 17s
linux: the files, /proc, /dev and system facts a Linux program looks for ci #1896: Pull request #587 synchronize by eKisNonos
37m 39s linux/guest-files
linux/guest-files
37m 39s
linux: a guest's sockets are the family's own, on 127.0.0.0/8 ci #1895: Pull request #584 synchronize by eKisNonos
35m 32s linux/guest-sockets
linux/guest-sockets
35m 32s
Anyone network in the browser, a standards-based engine, and a fast network path ci #1894: Pull request #589 synchronize by eKisNonos
34m 7s feat/anyone-browser
feat/anyone-browser
34m 7s
Lean verification: prove 164 more functions and fix the kernel bugs the proofs found ci #1893: Pull request #591 opened by eKisNonos
35m 15s lean/substantive
lean/substantive
35m 15s
#590 verification: growth Lean coverage, extracted 558 more functions… ci #1892: Commit eb2c0cc pushed by eKisNonos
1h 10m 19s main
main
1h 10m 19s
verification: grow Lean coverage, extract 558 more functions, fix what the proofs found ci #1891: Pull request #590 synchronize by eKisNonos
38m 32s lean/substantive
lean/substantive
38m 32s
verification: grow Lean coverage, extract 558 more functions, fix what the proofs found ci #1890: Pull request #590 synchronize by eKisNonos
41m 34s lean/substantive
lean/substantive
41m 34s
verification: grow Lean coverage, extract 558 more functions, fix what the proofs found ci #1889: Pull request #590 synchronize by eKisNonos
11m 3s lean/substantive
lean/substantive
11m 3s
verification: grow Lean coverage, extract 558 more functions, fix what the proofs found ci #1888: Pull request #590 synchronize by eKisNonos
13m 22s lean/substantive
lean/substantive
13m 22s
verification: grow Lean coverage, extract 558 more functions, fix what the proofs found ci #1887: Pull request #590 opened by eKisNonos
22m 37s lean/substantive
lean/substantive
22m 37s
Anyone network in the browser, a standards-based engine, and a fast network path ci #1886: Pull request #589 opened by eKisNonos
40m 59s feat/anyone-browser
feat/anyone-browser
40m 59s
linux: a guest holds only the memory it asked for ci #1885: Pull request #586 synchronize by eKisNonos
40m 50s linux/guest-memory
linux/guest-memory
40m 50s