Skip to content

Actions: powderluv/rustproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 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
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
iommu: fix a live containment breach and three vacuous checks, from t… ci #90: Commit c4d8852 pushed by powderluv
56s main
main
56s
kernel: DMA reach was the one authority revocation did not withdraw ci #89: Commit d7fc8b1 pushed by powderluv
46s main
main
46s
init: an untrusted process drives the device, and reaches only what i… ci #88: Commit 778fb7c pushed by powderluv
52s main
main
52s
host-contract: an untrusted process may now hold a REAL bus-mastering… ci #87: Commit 41409bb pushed by powderluv
3m 19s main
main
3m 19s
iommu: per-device domains, and the isolation shown on hardware ci #86: Commit 81b3ed8 pushed by powderluv
56s main
main
56s
iommu: allocating memory is no longer authority for a device to reach it ci #85: Commit a5ea454 pushed by powderluv
1m 46s main
main
1m 46s
iommu: freeing a region must withdraw the device's reach, not just th… ci #84: Commit 47b0654 pushed by powderluv
1m 3s main
main
1m 3s
iommu: make the domain a capability NAMES, not one it merely mentions ci #83: Commit f2f83b4 pushed by powderluv
32m 2s main
main
32m 2s
abi: DMA reach becomes a capability (MAP_DMA / UNMAP_DMA) ci #82: Commit 735a6e2 pushed by powderluv
44s main
main
44s