Skip to content
CI

fix(agents): recursively decompose proof obligations #456

Sign in to view logs

fix(agents): recursively decompose proof obligations

fix(agents): recursively decompose proof obligations #456

Triggered via pull request July 17, 2026 07:35
@FluffyAIcodeFluffyAIcode
opened #190
AgentMemory/recursive-proof-critic-0717
Status Success
Total duration 2m 15s
Artifacts 2

ci.yaml

on: pull_request
package import smoke
1m 32s
package import smoke
docker build + import smoke
2m 11s
docker build + import smoke
proto lint (buf)
8s
proto lint (buf)
proto stub drift
20s
proto stub drift
TypeScript SDK tests
18s
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~930J2G.dockerbuild
39.1 KB
sha256:e8bc21ce5be818acfe143f8b09644b9e7143788e896f12d1504b81188e849e3c
coverage-py3.12 Expired
20.5 KB
sha256:04d1424980595dc7fc999a5b8858cd7c2fbdcf934b1212baa762dff704e9f445