File tree
4 files changed
+57
-10
lines changed- .circleci
- nix
- src/Ide/Plugin
4 files changed
+57
-10
lines changedDiff for: .circleci/config.yml
+27
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
156 | 156 |
| |
157 | 157 |
| |
158 | 158 |
| |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
| 163 | + | |
| 164 | + | |
| 165 | + | |
| 166 | + | |
| 167 | + | |
| 168 | + | |
| 169 | + | |
| 170 | + | |
| 171 | + | |
| 172 | + | |
| 173 | + | |
| 174 | + | |
| 175 | + | |
| 176 | + | |
| 177 | + | |
| 178 | + | |
| 179 | + | |
| 180 | + | |
| 181 | + | |
| 182 | + | |
| 183 | + | |
| 184 | + | |
159 | 185 |
| |
160 | 186 |
| |
161 | 187 |
| |
| |||
170 | 196 |
| |
171 | 197 |
| |
172 | 198 |
| |
| 199 | + |
Diff for: nix/sources.json
+3-3
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
17 | 17 |
| |
18 | 18 |
| |
19 | 19 |
| |
20 |
| - | |
21 |
| - | |
| 20 | + | |
| 21 | + | |
22 | 22 |
| |
23 |
| - | |
| 23 | + | |
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
|
Diff for: shell.nix
+23-6
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
6 | 17 |
| |
7 | 18 |
| |
8 | 19 |
| |
9 |
| - | |
| 20 | + | |
| 21 | + | |
10 | 22 |
| |
11 | 23 |
| |
12 | 24 |
| |
13 | 25 |
| |
14 | 26 |
| |
15 | 27 |
| |
16 |
| - | |
17 |
| - | |
18 |
| - | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
19 | 35 |
| |
20 | 36 |
| |
21 | 37 |
| |
| |||
42 | 58 |
| |
43 | 59 |
| |
44 | 60 |
| |
45 |
| - | |
| 61 | + | |
46 | 62 |
| |
47 | 63 |
| |
48 | 64 |
| |
| |||
94 | 110 |
| |
95 | 111 |
| |
96 | 112 |
| |
| 113 | + | |
97 | 114 |
| |
98 |
| - | |
99 | 115 |
| |
| 116 | + | |
100 | 117 |
| |
101 | 118 |
| |
102 | 119 |
| |
|
Diff for: src/Ide/Plugin/Example.hs
+4-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
37 | 37 |
| |
38 | 38 |
| |
39 | 39 |
| |
| 40 | + | |
40 | 41 |
| |
41 | 42 |
| |
42 | 43 |
| |
| |||
106 | 107 |
| |
107 | 108 |
| |
108 | 109 |
| |
109 |
| - | |
| 110 | + | |
| 111 | + | |
| 112 | + | |
110 | 113 |
| |
111 | 114 |
| |
112 | 115 |
| |
|
0 commit comments