Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 0 additions & 12 deletions .github/workflows/deploy-pages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -48,18 +48,6 @@ jobs:
run: |
mkdir -p _site
cp -r site/dist/. _site/
# Games remain versioned static source data in this repository, but
# publishing nearly one million per-record files exceeds the fixed
# GitHub Pages deployment window. Keep the public homepage artifact
# to the collections it can serve reliably.
rm -rf _site/v1/games
node <<'NODE'
const fs = require("fs");
const path = "_site/v1/index.json";
const manifest = JSON.parse(fs.readFileSync(path, "utf8"));
delete manifest.collections?.games;
fs.writeFileSync(path, JSON.stringify(manifest, null, 2) + "\n");
NODE
touch _site/.nojekyll

- uses: actions/upload-pages-artifact@v3
Expand Down
8 changes: 5 additions & 3 deletions .github/workflows/pr-metadata.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,15 +40,17 @@ jobs:
pull_number: issue_number,
per_page: 100,
});
// GitHub refuses the file list for very large PRs (dump refreshes:
// 422 "diff is taking too long to generate"); label from what we got.
// GitHub cannot produce the file list for very large PRs (dump
// refreshes): 422 "diff is taking too long to generate", or a plain
// 504 when it gives up later. Label from whatever arrived.
const NO_FILE_LIST = new Set([422, 502, 503, 504]);
try {
for await (const { data } of fileIterator) {
files.push(...data);
if (files.length >= FILE_SCAN_LIMIT) break;
}
} catch (error) {
if (error.status !== 422) throw error;
if (!NO_FILE_LIST.has(error.status)) throw error;
core.warning(`PR file list unavailable (${error.message}); path labels skipped`);
}
const filesWereCapped = (pr.changed_files || files.length) > files.length;
Expand Down
Loading