Skip to content
Update Editor's Copy

Remove the subtree edge case entirely by allowing zero-length subtrees #863

Sign in to view logs

Remove the subtree edge case entirely by allowing zero-length subtrees

Remove the subtree edge case entirely by allowing zero-length subtrees #863

Triggered via push July 18, 2026 11:36
@davidbendavidben
pushed 519e6ee
remove-edge-case
Status Success
Total duration 42s
Artifacts 1

ghpages.yml

on: push
Update Editor's Copy
39s
Update Editor's Copy
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
artifact
152 KB
sha256:dbb0b8c4444a0a4485fd78a8aa80fb98df34a4210a5e24d3f6f1fbfd23957882