Skip to content

Commit 1fadb68

Browse files
committed
fix(ci): conform to updated workflows (estate rules, K9, SPDX, permissions)
1 parent 49ebfe4 commit 1fadb68

2 files changed

Lines changed: 8 additions & 2 deletions

File tree

generated/k9iser/cargo-manifest.k9

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,11 @@
1+
K9!
2+
# SPDX-License-Identifier: MPL-2.0
13
# Auto-generated K9 contract for cargo-manifest
24
# Safety tier: hunt
35

46
[must]
5-
package.name : string { == 'panic-attack' }
7+
package.name : string {
8+
pedigree = { schema_version = "1.0.0", name = "cargo-manifest.k9" }, == 'panic-attack' }
69
package.edition : string { == '2021' }
710
profile.release.codegen-units : string { == 1 }
811
profile.release.strip : string { == 'symbols' }

generated/k9iser/container-build.k9

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,11 @@
1+
K9!
2+
# SPDX-License-Identifier: MPL-2.0
13
# Auto-generated K9 contract for container-build
24
# Safety tier: hunt
35

46
[must]
5-
metadata.license : string { == 'MPL-2.0' }
7+
metadata.license : string {
8+
pedigree = { schema_version = "1.0.0", name = "container-build.k9" }, == 'MPL-2.0' }
69
metadata.registry : string { == 'ghcr.io/hyperpolymath' }
710
build.runtime : string { == 'podman' }
811
layers.base.verify : bool { == true }

0 commit comments

Comments
 (0)