Commit d05cc88
authored
TagBot: use DOCUMENTER_KEY (#362)
This is needed for TagBot to be able to trigger documentation builds upon pushing new tags. See https://documenter.juliadocs.org/dev/man/hosting/#TagBot-and-tagged-versions-2a42332b0ef7aead1 parent ec4f29b commit d05cc88
1 file changed
+1
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
| 31 | + | |
0 commit comments