Documentation

Preserve results after threaded early stop #1004

Sign in to view logs

Re-run triggered July 29, 2026 13:04

PBrdng

#721

orebas:fix/threaded-early-stop-results

Status Success

Total duration 3m 41s

Artifacts –

documentation.yml

on: pull_request

Annotations

1 warning

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