Skip to content

Actions: powderluv/rustproof

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
115 workflow runs
115 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
riscv: three probes that blamed the kernel for a scheduling outcome ci #115: Commit c07f327 pushed by powderluv
5m 2s main
main
5m 2s
mutation: the sweep had only ever covered one of two architectures ci #114: Commit e2347a8 pushed by powderluv
5m 26s main
main
5m 26s
loader: W^X was asserted in comments and observed by nothing ci #113: Commit b82bdfd pushed by powderluv
4m 46s main
main
4m 46s
ci ci #112: by powderluv
4m 22s main
main
4m 22s
capabilities: a bound tested only from far outside it ci #111: Commit 88e69a0 pushed by powderluv
3m 58s main
main
3m 58s
loader: a program-header table running past the image was accepted ci #110: Commit b9940f5 pushed by powderluv
3m 36s main
main
3m 36s
tools: mutate the predicates on purpose instead of by accident ci #109: Commit 135b604 pushed by powderluv
3m 8s main
main
3m 8s
iommu: a refusal is only evidence when the thing refused was attempted ci #108: Commit b3da953 pushed by powderluv
2m 35s main
main
2m 35s
init: hunt the shape instead of waiting for it to bite ci #107: Commit 7ae41f2 pushed by powderluv
2m 32s main
main
2m 32s
init: a revocation check accused the kernel of something that had not… ci #106: Commit 7b641bb pushed by powderluv
2m 34s main
main
2m 34s
tools: run the containment rig on a real CPU, and narrow a claim it c… ci #105: Commit e91aaea pushed by powderluv
2m 40s main
main
2m 40s
iommu: close the two findings recorded as open ci #104: Commit 9f03dfd pushed by powderluv
2m 40s main
main
2m 40s
iommu: five more from the review, two of them tests I had just added ci #103: Commit b58555a pushed by powderluv
2m 40s main
main
2m 40s
iommu: a domain bound to a BDF the unit never consults ci #102: Commit f125211 pushed by powderluv
2m 43s main
main
2m 43s
iommu: "invalidated to completion" was hoped for, not checked ci #101: Commit cd83365 pushed by powderluv
2m 40s main
main
2m 40s
docs: the accounting had not kept up with the code ci #100: Commit 218001c pushed by powderluv
2m 36s main
main
2m 36s
docs: record that CI is green for the first time, and what that took ci #99: Commit 2dbc9e2 pushed by powderluv
2m 33s main
main
2m 33s
toolchain: CI had never once been green — minimal ships no rustfmt ci #98: Commit f0ef1b7 pushed by powderluv
2m 38s main
main
2m 38s
ci: none of the containment work was running in CI ci #97: Commit 7cf75db pushed by powderluv
51s main
main
51s
init: a gate that fired at random, and a property the boot cannot pin ci #96: Commit 17cd48c pushed by powderluv
48s main
main
48s
kernel: three more from the review, and ARCH=riscv64 never ran riscv64 ci #95: Commit 7662002 pushed by powderluv
50s main
main
50s
iommu: "0 still passed through" was two bits of a sixty-four-bit word ci #94: Commit 2056295 pushed by powderluv
46s main
main
46s
iommu: default-deny was a claim about a FLAT bus ci #93: Commit 602891b pushed by powderluv
42s main
main
42s
iommu: publish a domain only once the unit actually translates ci #92: Commit 3874256 pushed by powderluv
45s main
main
45s
iommu: the default was passthrough, and most of the bus was outside t… ci #91: Commit b2985dc pushed by powderluv
46s main
main
46s