fix(library): pin editor chrome and stop repainting host borders (#827) · ls1intum/Apollon@f7fd4a5

Triggered via push July 20, 2026 08:58

main

Status Success

Total duration 8m 9s

Artifacts 1

docs.yml

on: push

2 warnings

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

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e. 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	3.74 MB	`sha256:c09d9bf20b3c6237ba8e3f60cb99eb3d0853de765ae2d1b17022a974f3719ea0`