mirror of
https://github.com/wez/wezterm.git
synced 2024-09-11 14:25:57 +03:00
docs: explicitly fetch nightly info
We have more releases than fit in a page, so the nightly release isn't included in the json we request. Explicitly fetch it!
This commit is contained in:
parent
b8c2b309fe
commit
87350bde4d
@ -1,6 +1,8 @@
|
||||
#!/bin/bash
|
||||
set -x
|
||||
|
||||
[[ -f /tmp/wezterm.releases.json ]] || curl https://api.github.com/repos/wez/wezterm/releases > /tmp/wezterm.releases.json
|
||||
[[ -f /tmp/wezterm.nightly.json ]] || curl https://api.github.com/repos/wez/wezterm/releases/tags/nightly > /tmp/wezterm.nightly.json
|
||||
python3 ci/subst-release-info.py || exit 1
|
||||
python3 ci/generate-docs.py || exit 1
|
||||
mdbook build docs
|
||||
|
@ -65,12 +65,16 @@ def load_release_info():
|
||||
with open("/tmp/wezterm.releases.json") as f:
|
||||
release_info = json.load(f)
|
||||
|
||||
latest = release_info[0]
|
||||
nightly = None
|
||||
with open("/tmp/wezterm.nightly.json") as f:
|
||||
nightly = json.load(f)
|
||||
|
||||
|
||||
latest = None
|
||||
for rel in release_info:
|
||||
if rel["tag_name"] == "nightly":
|
||||
nightly = rel
|
||||
break
|
||||
if rel["prerelease"]:
|
||||
continue
|
||||
latest = rel
|
||||
break
|
||||
|
||||
latest = categorize(latest)
|
||||
nightly = categorize(nightly)
|
||||
|
Loading…
Reference in New Issue
Block a user