Skip to content

Persist AutoResearch proof decomposition progress #496

Persist AutoResearch proof decomposition progress

Persist AutoResearch proof decomposition progress #496

Triggered via pull request July 20, 2026 11:16
Status Success
Total duration 2m 53s
Artifacts 2

ci.yaml

on: pull_request
package import smoke
1m 26s
package import smoke
docker build + import smoke
2m 48s
docker build + import smoke
proto lint (buf)
6s
proto lint (buf)
proto stub drift
15s
proto stub drift
TypeScript SDK tests
17s
TypeScript SDK tests
Matrix: unit tests + 100% coverage
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
proto lint (buf)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, bufbuild/buf-setup-action@v1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
proto stub drift
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-node@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
TypeScript SDK tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-node@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
package import smoke
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
unit tests + 100% coverage (3.12)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
docker build + import smoke
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, docker/build-push-action@v6, docker/setup-buildx-action@v3. 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
FluffyAIcode~Kakeya-LLM-Inference-engine~LPMH0P.dockerbuild
39.9 KB
sha256:091e5b0cace2591f269ad1aa6d4ff2b5d24a0263da47be474c69539dfbd468fa
coverage-py3.12 Expired
21.3 KB
sha256:eceb4ed8e9443230301374e23b089445b8fc5b9156f2a3802f9305cf943fefcf