1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
#InferTasks: true
-- in.cue --
import "tool/exec"
foo: {
$id: "tool/http.Do"
method: "GET"
url: string
request: body: *bytes | string
}
// vendorgithubschema is expected to be run within the cuelang.org/go
// cue.mod directory
root: {
get: foo & {
request: body: ""
url: "https://raw.githubusercontent.com/SchemaStore/schemastore/f7a0789ccb3bd74a720ddbd6691d60fd9e2d8b7a/src/schemas/json/github-workflow.json"
}
convert: exec.Run & {
stdin: get.response.body
cmd: "go run cuelang.org/go/cmd/cue import -f -p json -l #Workflow: jsonschema: - --outfile pkg/github.com/SchemaStore/schemastore/src/schemas/json/github-workflow.cue"
}
}
-- out/run/errors --
-- out/run/t0 --
graph TD
t0("root.get [Ready]")
t1("root.convert [Waiting]")
t1-->t0
-- out/run/t1 --
graph TD
t0("root.get [Terminated]")
t1("root.convert [Ready]")
t1-->t0
-- out/run/t1/value --
{
$id: "tool/http.Do"
method: "GET"
url: "https://raw.githubusercontent.com/SchemaStore/schemastore/f7a0789ccb3bd74a720ddbd6691d60fd9e2d8b7a/src/schemas/json/github-workflow.json"
request: {
body: ""
}
stdout: "foo"
}
-- out/run/t1/stats --
Leaks: 0
Freed: 47
Reused: 40
Allocs: 7
Retain: 0
Unifications: 26
Conjuncts: 71
Disjuncts: 47
-- out/run/t2 --
graph TD
t0("root.get [Terminated]")
t1("root.convert [Terminated]")
t1-->t0
-- out/run/t2/value --
{
$id: "tool/exec.Run"
cmd: "go run cuelang.org/go/cmd/cue import -f -p json -l #Workflow: jsonschema: - --outfile pkg/github.com/SchemaStore/schemastore/src/schemas/json/github-workflow.cue"
env: {} | []
stdout: "foo"
stderr: null
stdin: GET.response.body & (*null | string | bytes)
success: bool
mustSucceed: true
//cue:path: root.get
let GET = {
$id: "tool/http.Do"
method: "GET"
url: string
request: {
body: *bytes | string
}
} & {
request: {
body: ""
}
stdout: "foo"
url: "https://raw.githubusercontent.com/SchemaStore/schemastore/f7a0789ccb3bd74a720ddbd6691d60fd9e2d8b7a/src/schemas/json/github-workflow.json"
}
}
-- out/run/t2/stats --
Leaks: 0
Freed: 47
Reused: 47
Allocs: 0
Retain: 0
Unifications: 26
Conjuncts: 76
Disjuncts: 47
-- out/run/stats/totals --
Leaks: 0
Freed: 94
Reused: 87
Allocs: 7
Retain: 0
Unifications: 52
Conjuncts: 147
Disjuncts: 94
-- out/run/t3 --
graph TD
t0("root.get [Terminated]")
t0-->t2
t1("root.convert [Terminated]")
t1-->t0
t2("foo [Terminated]")
-- out/run/t3/value --
{
$id: "tool/exec.Run"
cmd: "go run cuelang.org/go/cmd/cue import -f -p json -l #Workflow: jsonschema: - --outfile pkg/github.com/SchemaStore/schemastore/src/schemas/json/github-workflow.cue"
env: {}
stdout: "foo"
stderr: null
stdin: (*null | string | bytes) & get.response.body
success: bool
}
|
