Merge branch 'main' into renovate/third-party-minor-and-patch · microbit-foundation/python-editor-embed@efa5072

Triggered via push September 2, 2026 10:13

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	48.9 KB	`sha256:87b7930eef4ef91270474d8651ceb871a458da26331ad40997ef1611335680c0`