Skip to content

Actions: IoTSharp/RustSharp

Actions

P1 platform evidence

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
p1-platform.yml
19 workflow runs
19 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
Enforce P1 ownership limits and strict package and evidence contracts P1 platform evidence #19: Commit 40aa4d0 pushed by maikebing
5m 29s master
master
5m 29s
Strengthen P1 ownership and package evidence contracts P1 platform evidence #18: Commit e601789 pushed by maikebing
4m 54s master
master
4m 54s
Strengthen P1 evidence gates and package contracts P1 platform evidence #17: Commit 76d56d8 pushed by maikebing
5m 55s master
master
5m 55s
Implement P1 ownership, Drop, package contracts, and evidence runners P1 platform evidence #16: Commit 63a02a5 pushed by maikebing
5m 24s master
master
5m 24s
Complete P1-06 typed MIR execution and regression coverage P1 platform evidence #15: Commit 6563b71 pushed by maikebing
3m 3s master
master
3m 3s
Implement named ADT places and reference provenance P1 platform evidence #14: Commit c5f3035 pushed by maikebing
5m 14s master
master
5m 14s
Fix roadmap evidence links for clean CI checkouts P1 platform evidence #13: Commit 4b1a30e pushed by maikebing
6m 35s master
master
6m 35s
Break down all roadmap phases into independently verifiable tasks P1 platform evidence #12: Commit 88ec972 pushed by maikebing
5m 37s master
master
5m 37s
Implement bounded slice, Drop fault and import-contract lowering P1 platform evidence #11: Commit f4692c7 pushed by maikebing
5m 1s master
master
5m 1s
Record final P1 platform evidence P1 platform evidence #10: Commit b75b819 pushed by maikebing
5m 12s master
master
5m 12s
Close P1 regression and ownership evidence gates P1 platform evidence #9: Commit 23279d9 pushed by maikebing
5m 28s master
master
5m 28s
fix: bound Native AOT temp host path P1 platform evidence #8: Commit b621c4a pushed by maikebing
5m 2s master
master
5m 2s
fix: keep Native AOT host paths short P1 platform evidence #7: Commit 5e42888 pushed by maikebing
5m 13s master
master
5m 13s
fix: keep Native AOT host paths short P1 platform evidence #6: Commit 5e42888 pushed by maikebing
4m 30s master
master
4m 30s
fix: make P1 platform evidence portable P1 platform evidence #5: Commit 051906d pushed by maikebing
3m 50s master
master
3m 50s
fix: resolve ILVerify manifest path cross-platform P1 platform evidence #4: Commit aee1943 pushed by maikebing
3m 26s master
master
3m 26s
fix: resolve ILVerify runtime path cross-platform P1 platform evidence #3: Commit c5ae9ac pushed by maikebing
4m 6s master
master
4m 6s
fix: resolve platform evidence tool paths P1 platform evidence #2: Commit 6a15ec6 pushed by maikebing
4m 46s master
master
4m 46s
feat: extend P1 typed MIR ownership and platform gates P1 platform evidence #1: Commit 471a01d pushed by maikebing
4m 29s master
master
4m 29s