This repository has been archived by the owner on Aug 11, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 30
/
hie.yaml
76 lines (52 loc) · 2.13 KB
/
hie.yaml
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
cradle:
cabal:
- path: "./plutus-collection/src"
component: "lib:plutus-collection"
- path: "./plutus-collection/test/property"
component: "plutus-collection:test:plutus-collection-properties"
- path: "./plutus-collection/test/size"
component: "plutus-collection:test:plutus-collection-size"
- path: "./plutus-context-builder/src"
component: "lib:plutus-context-builder"
- path: "./plutus-deriving/src"
component: "lib:plutus-deriving"
- path: "./plutus-deriving/test"
component: "plutus-deriving:lib:testlib"
- path: "./plutus-deriving/test/size"
component: "plutus-deriving:test:size"
- path: "./plutus-deriving/test/laws"
component: "plutus-deriving:test:laws"
- path: "./plutus-extra/src"
component: "lib:plutus-extra"
- path: "./plutus-extra/test"
component: "plutus-extra:test:plutus-extra-test"
- path: "./plutus-golden/src"
component: "lib:plutus-golden"
- path: "./plutus-laws/src"
component: "lib:plutus-laws"
- path: "./plutus-numeric/src"
component: "lib:plutus-numeric"
- path: "./plutus-numeric/test/property"
component: "plutus-numeric:test:property"
- path: "./plutus-numeric/test/golden"
component: "plutus-numeric:test:golden"
- path: "./plutus-numeric/test/laws"
component: "plutus-numeric:test:laws"
- path: "./plutus-numeric/test/size"
component: "plutus-numeric:test:size"
- path: "./plutus-numeric/bench"
component: "plutus-numeric:bench:benchmark"
- path: "./plutus-pretty/src"
component: "lib:plutus-pretty"
- path: "./plutus-pretty/test/script-size"
component: "plutus-pretty:test:script-size"
- path: "./plutus-pretty/test/properties"
component: "plutus-pretty:test:properties"
- path: "./plutus-size-check/src"
component: "lib:plutus-size-check"
- path: "./quickcheck-plutus-instances/src"
component: "lib:quickcheck-plutus-instances"
- path: "./tasty-plutus/src"
component: "lib:tasty-plutus"
- path: "./tasty-plutus/test/Properties"
component: "tasty-plutus:test:properties"