Skip to content

Require AutoResearch proof decomposition advancement #488

Require AutoResearch proof decomposition advancement

Require AutoResearch proof decomposition advancement #488

Triggered via pull request July 20, 2026 09:21
Status Success
Total duration 2m 25s
Artifacts 2

ci.yaml

on: pull_request
package import smoke
1m 31s
package import smoke
docker build + import smoke
2m 22s
docker build + import smoke
proto lint (buf)
9s
proto lint (buf)
proto stub drift
21s
proto stub drift
TypeScript SDK tests
22s
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~JR20XV.dockerbuild
39.1 KB
sha256:f75552af33b9ebfe706abe64e4d60c7a1f5d24d621abea7b94855e95aad0e723
coverage-py3.12 Expired
21.2 KB
sha256:fe097ba2fd44f40c047b54e52cfd7c6e7ecc42a2619f533f5128296dfb0e5f7a