Repository navigation
Commit b8892f1
committed
ci: Use CircleCI artifacts redirector for doc links.
CircleCI changed their artifact layout, so our printed link in the build
log no longer works. Instead of figuring out how to fix it, switch to a
GitHub Action that is able to post the link as a PR status. This is
easier to find, and probably easier for them to keep up-to-date.1 parent 252583f commit b8892f1
2 files changed
Lines changed: 12 additions & 12 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
115 | 115 | | |
116 | 116 | | |
117 | 117 | | |
118 | | - | |
119 | | - | |
120 | | - | |
121 | | - | |
122 | 118 | | |
123 | 119 | | |
124 | 120 | | |
| |||
141 | 137 | | |
142 | 138 | | |
143 | 139 | | |
144 | | - | |
145 | | - | |
146 | | - | |
147 | | - | |
148 | 140 | | |
149 | 141 | | |
150 | 142 | | |
| |||
167 | 159 | | |
168 | 160 | | |
169 | 161 | | |
170 | | - | |
171 | | - | |
172 | | - | |
173 | | - | |
174 | 162 | | |
175 | 163 | | |
176 | 164 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
0 commit comments