Skip to content

Commit 6c17206

Browse files
committed
fix(ci): inject name and security block to K9 pedigree
1 parent 1fadb68 commit 6c17206

2 files changed

Lines changed: 4 additions & 2 deletions

File tree

generated/k9iser/cargo-manifest.k9

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,8 @@ K9!
55

66
[must]
77
package.name : string {
8-
pedigree = { schema_version = "1.0.0", name = "cargo-manifest.k9" }, == 'panic-attack' }
8+
pedigree = {
9+
security = { leash = "Yard" }, schema_version = "1.0.0", name = "cargo-manifest.k9" }, == 'panic-attack' }
910
package.edition : string { == '2021' }
1011
profile.release.codegen-units : string { == 1 }
1112
profile.release.strip : string { == 'symbols' }

generated/k9iser/container-build.k9

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,8 @@ K9!
55

66
[must]
77
metadata.license : string {
8-
pedigree = { schema_version = "1.0.0", name = "container-build.k9" }, == 'MPL-2.0' }
8+
pedigree = {
9+
security = { leash = "Yard" }, schema_version = "1.0.0", name = "container-build.k9" }, == 'MPL-2.0' }
910
metadata.registry : string { == 'ghcr.io/hyperpolymath' }
1011
build.runtime : string { == 'podman' }
1112
layers.base.verify : bool { == true }

0 commit comments

Comments
 (0)