Skip to content

Actions: bcoles/kasld

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
446 workflow runs
446 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
docs: update testing.md build #97: Commit f9c818a pushed by bcoles
3m 56s master
master
3m 56s
docs: state engine soundness/termination + pin entropy definition build #96: Commit 1c65494 pushed by bcoles
3m 41s master
master
3m 41s
check-hardware-vulnerabilities: resolve shellcheck violations build #95: Commit efccee7 pushed by bcoles
3m 48s master
master
3m 48s
check-results: validate scalars, RAM-map coverage, block-coarse RAM tops build #94: Commit 50ee65d pushed by bcoles
3m 50s master
master
3m 50s
package: ship ksymoff and docs in install + release build #93: Commit eaf7bc2 pushed by bcoles
3m 44s master
master
3m 44s
engine: route complete RAM maps through coverings, out of the merge build #92: Commit 5aa51d6 pushed by bcoles
3m 45s master
master
3m 45s
orchestrator: opt-in per-constraint engine diagnostic build #91: Commit 6fb58fb pushed by bcoles
4m 6s master
master
4m 6s
check-results: validate scalar facts and the inferred text windows build #90: Commit fcdc87d pushed by bcoles
4m 7s master
master
4m 7s
fix a bogus image_size corrupting the phys text-base inference build #89: Commit 7e5d989 pushed by bcoles
3m 46s master
master
3m 46s
rules: floor the interior-sample text-base ceiling to slot alignment build #88: Commit c1d3496 pushed by bcoles
3m 45s master
master
3m 45s
rework merged-record provenance: uncapped + method bitmask build #87: Commit 37fee8f pushed by bcoles
3m 53s master
master
3m 53s
components: route stdout data-echo to the stderr logger build #86: Commit 47c2e13 pushed by bcoles
3m 52s master
master
3m 52s
detect non-canonical kernel-text ordering (SF_TEXT_ORDER) build #85: Commit 98dba3a pushed by bcoles
3m 48s master
master
3m 48s
components: sound text-base floor on sub-offset arches build #84: Commit eaf0ba4 pushed by bcoles
3m 48s master
master
3m 48s
components: leak physical MMIO bases via fb/serial ioctls build #83: Commit 05fee5a pushed by bcoles
3m 51s master
master
3m 51s
rules: derive ARM32 PAGE_OFFSET and text base from the VMSPLIT build #82: Commit 40c4005 pushed by bcoles
3m 38s master
master
3m 38s
components: exact sizeof(struct page) from BTF for vmemmap-sizing rules build #80: Commit 0dbf36e pushed by bcoles
3m 42s master
master
3m 42s
components: arm64 no-seed KASLR-disabled detector build #79: Commit 63a875b pushed by bcoles
3m 45s master
master
3m 45s
tests: require KASLD_META on every component build #78: Commit 7c249e6 pushed by bcoles
1m 0s master
master
1m 0s
components: add proc_net_sock_ptr + model %pK pointer hashing in -H build #77: Commit 48cc14d pushed by bcoles
3m 41s master
master
3m 41s
rules: consolidate s390 below-text cascade into s390_text_from_belows build #76: Commit e09afef pushed by bcoles
3m 49s master
master
3m 49s
rules: use include/kasld/ include paths, dropping the brittle ../ build #75: Commit a31121e pushed by bcoles
3m 43s master
master
3m 43s
components: standardise CLI parsing and diagnostic output build #74: Commit a32a89c pushed by bcoles
4m 2s master
master
4m 2s
render: clearer text readout — entropy beside status, full leak prove… build #73: Commit 28e4742 pushed by bcoles
3m 45s master
master
3m 45s
rules: let directmap pin take L4/L5 from a resolved Q_VA_BITS build #72: Commit 53c4788 pushed by bcoles
3m 44s master
master
3m 44s
ProTip! You can narrow down the results and go further in time using created:<2026-06-09 or the other filters available.