add environment identifier

also add CI for automatically testing schema and examples

Signed-off-by: Thomas Fossati <[email protected]>

.github/workflows/ci.yml

@@ -0,0 +1,19 @@
+name: CI
+
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "main" ]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - name: install CDDL and CBOR tooling
+      run: gem install --user-install cbor-diag cddl
+    - name: setup PATH
+      run: echo "$(gem env gempath | cut -d':' -f1)/bin" >> $GITHUB_PATH
+    - name: check schema and examples
+      run: make -C matcher-musings

matcher-musings/Makefile

@@ -1,7 +1,14 @@
 Examples := $(wildcard *.json)
 Manifest := manifest.cddl
 
-all: $(Manifest) $(Examples)
+all: schema examples
+
+.PHONY: schema
+schema: $(Manifest)
+	@cddl $< g 1
+
+.PHONY: examples
+examples: $(Manifest) $(Examples)
 	@for f in $(Examples); do \
 		echo ">> validating $$f against $<" ; \
 		cddl $< validate $$f || exit 1 ; \

matcher-musings/README.md

@@ -32,7 +32,7 @@ claim-id = text / int
 
 ```cddl
 RV = { 
-  ? desc: text
+  ? environment-id: any
   cond: { + claim-id => matcher }
 }
 ```
@@ -41,7 +41,7 @@ RV = {
 
 ```cddl
 xRV = {
-  ? desc: text
+  ? environment-id: any
   cond: { + claim-id => matcher }
   reason: $reason
 }
@@ -54,7 +54,7 @@ $reason /= "insecure"
 
 ```cddl
 EV = {
-  ? desc: text
+  ? environment-id: any
   cond: { + claim-id => matcher }
   claims: named-claims
 }

matcher-musings/manifest.cddl

@@ -32,18 +32,18 @@ named-claims = {
 }
 
 RV = { 
-  ? desc: text
+  ? environment-id: any
   cond: { + claim-id => matcher }
 }
 
 EV = {
-  ? desc: text
+  ? environment-id: any
   cond: { + claim-id => matcher }
   claims: named-claims
 }
 
 xRV = {
-  ? desc: text
+  ? environment-id: any
   cond: { + claim-id => matcher }
   reason: $reason
 }