Update third-party minor and patch to v19.3.0 (#20) · microbit-foundation/python-editor-embed@b7a264c

Triggered via push September 17, 2026 13:30

main

Status Success

Total duration 25s

Artifacts 1

build-docs.yml

on: push

1 warning

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/configure-pages@983d7736d9b0ae728b81ab479565c72886d7745b. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Produced during runtime

Name	Size	Digest
github-pages Expired	47.1 KB	`sha256:195a2ed4dff8d492ebaeda7f22ec71703810c2f8ae798e18739a42e9eefd7c6a`