Skip to content

Commit 484e7f6

Browse files
authored
Merge pull request #330 from roc-lang/no-docs-in-repo
different docs deployment
1 parent d108989 commit 484e7f6

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

65 files changed

+61
-32748
lines changed

.github/workflows/deploy-docs.yml

+58-7
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ name: Deploy docs to Pages
33
on:
44
release:
55
types:
6-
- published
6+
- created
77

88
workflow_dispatch:
99

@@ -12,28 +12,79 @@ permissions:
1212
pages: write
1313
id-token: write
1414

15-
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
16-
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
15+
# this cancels workflows currently in progress if you start a new one
1716
concurrency:
1817
group: "pages"
19-
cancel-in-progress: false
18+
cancel-in-progress: true
2019

2120
jobs:
2221
deploy:
2322
environment:
2423
name: github-pages
2524
url: ${{ steps.deployment.outputs.page_url }}
26-
runs-on: ubuntu-latest
25+
runs-on: ubuntu-24.04
2726
steps:
2827
- name: Checkout
2928
uses: actions/checkout@v4
29+
3030
- name: Setup Pages
3131
uses: actions/configure-pages@v5
32+
33+
- name: Create temp directory for docs
34+
run: mkdir -p ./temp_docs
35+
36+
- name: Get all releases
37+
id: releases
38+
run: |
39+
echo "releases=$(curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
40+
"https://api.github.com/repos/${{ github.repository }}/releases" | jq -c '.')" >> $GITHUB_OUTPUT
41+
42+
- name: Download and extract docs for each release
43+
run: |
44+
releases='${{ steps.releases.outputs.releases }}'
45+
for release in $(echo "${releases}" | jq -c '.[]'); do
46+
release_name=$(echo $release | jq -r '.tag_name')
47+
assets_url=$(echo $release | jq -r '.assets_url')
48+
49+
# Get assets for this release
50+
assets=$(curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" "${assets_url}")
51+
52+
# Look for docs.tar.gz asset
53+
download_url=$(echo $assets | jq -r '.[] | select(.name=="docs.tar.gz") | .browser_download_url')
54+
55+
if [ ! -z "$download_url" ]; then
56+
echo "Processing release ${release_name}, downloading from ${download_url}"
57+
58+
# Create directory for this release
59+
mkdir -p "./temp_docs/${release_name}"
60+
61+
# Download and extract
62+
curl -sL "${download_url}" -o ./temp_docs/temp.tar.gz
63+
tar -xzf ./temp_docs/temp.tar.gz -C "./temp_docs/${release_name}"
64+
rm ./temp_docs/temp.tar.gz
65+
else
66+
echo "Error: docs.tar.gz not found for release ${release_name}"
67+
fi
68+
done
69+
70+
# Get the latest release version
71+
latest_release=$(echo "${releases}" | jq -r '.[0].tag_name')
72+
73+
if [ -f "./docs/index.html" ]; then
74+
# Copy the index.html and replace LATESTVERSION with actual latest release
75+
cat ./docs/index.html | sed "s/LATESTVERSION/${latest_release}/g" > ./temp_docs/index.html
76+
echo "Created index.html with latest version: ${latest_release}"
77+
else
78+
echo "Error: index.html not found in docs folder"
79+
exit 1
80+
fi
81+
3282
- name: Upload artifact
3383
uses: actions/upload-pages-artifact@v3
3484
with:
35-
# Upload docs/ folder
36-
path: "./docs"
85+
# Upload the processed docs folder
86+
path: "./temp_docs"
87+
3788
- name: Deploy to GitHub Pages
3889
id: deployment
3990
uses: actions/deploy-pages@v4

docs/0.17.0/Arg/index.html

-327
This file was deleted.

docs/0.17.0/Cmd/index.html

-383
This file was deleted.

docs/0.17.0/Dir/index.html

-342
This file was deleted.

docs/0.17.0/Env/index.html

-344
This file was deleted.

docs/0.17.0/File/index.html

-475
This file was deleted.

docs/0.17.0/FileMetadata/index.html

-292
This file was deleted.

docs/0.17.0/Http/index.html

-363
This file was deleted.

docs/0.17.0/Path/index.html

-614
This file was deleted.

docs/0.17.0/Sleep/index.html

-252
This file was deleted.

docs/0.17.0/Stderr/index.html

-287
This file was deleted.

docs/0.17.0/Stdin/index.html

-299
This file was deleted.

docs/0.17.0/Stdout/index.html

-287
This file was deleted.

docs/0.17.0/Tcp/index.html

-392
This file was deleted.

docs/0.17.0/Tty/index.html

-269
This file was deleted.

docs/0.17.0/Url/index.html

-438
This file was deleted.

docs/0.17.0/Utc/index.html

-300
This file was deleted.

docs/0.17.0/index.html

-244
This file was deleted.

0 commit comments

Comments
 (0)