From e748552809776863c99a64d45ab0ddb694049c04 Mon Sep 17 00:00:00 2001
From: Jesper Louis Andersen <jesper.louis.andersen@gmail.com>
Date: Fri, 18 Jun 2021 17:02:26 +0200
Subject: [PATCH] More CUE

---
 .github/workflows/ci.cue | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/ci.cue b/.github/workflows/ci.cue
index 9c64229..4aeba42 100644
--- a/.github/workflows/ci.cue
+++ b/.github/workflows/ci.cue
@@ -8,27 +8,33 @@ _versions: {
 }
 
 #Name: string
-#Branches: branches: [string]
+#Branches: branches: [string, ...]
+#Tags: tags: [string, ...]
 
 #On: {
-	push:         #Branches
-	pull_request: #Branches
+	push?:         #Branches
+	pull_request?: #Branches
+	page_build?:   #Branches
 }
+
+#Action: "actions/checkout@v2"
 #Steps: {
-	uses: "actions/checkout@v2"
+	uses: #Action
 } | {
 	name: string
 	run:  string
 }
 
+#OS_Version: "ubuntu-latest" | "macos-latest" | "windows_latest"
+
 #Jobs: ci: {
 	name:      string
 	"runs-on": string
 	container: image: string
 	strategy:
 		matrix: {
-			otp_vsn: [string, ...]
-			os: ["ubuntu-latest"]
+			otp_vsn: [...string]
+			os: [...#OS_Version]
 		}
 	steps: [#Steps, ...]
 }