Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.
Deploy the documentation

Allow multiple workers to write to receipts stream. (#16432) #4466

Sign in to view logs

Allow multiple workers to write to receipts stream. (#16432)

Allow multiple workers to write to receipts stream. (#16432) #4466

Triggered via push October 25, 2023 15:16
@erikjohnstonerikjohnston
pushed ba47fea
develop
Status Success
Total duration 2m 47s
Artifacts –

docs.yaml

on: push
Calculate variables for GitHub Pages deployment
3s
Calculate variables for GitHub Pages deployment
GitHub Pages
45s
GitHub Pages
GitHub Pages (developer docs)
2m 26s
GitHub Pages (developer docs)
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
GitHub Pages
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: peaceiris/actions-mdbook@adeb05db28a0c0004681db83893d56c0388ea9ea, peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
GitHub Pages (developer docs)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4, actions/cache@v3, peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.