feat(agents): persist unresolved proof obligations #477
FluffyAIcodeci.yaml
on: pull_request
package import smoke
1m 33s
docker build + import smoke
2m 57s
proto lint (buf)
7s
proto stub drift
19s
TypeScript SDK tests
18s
Matrix: unit tests + 100% coverage
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/
|
|
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/
|
|
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/
|
|
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~ZGIJT0.dockerbuild
|
40.6 KB |
sha256:cfdcf6962d3602d85c59921511660b943260c61b1b48f33e4351bf3ab2a6c5b7
|
|
|
coverage-py3.12
Expired
|
21 KB |
sha256:29632f0988da83611b828d0f133b3c1246d4d9129e00b72984a2a2d902b3cfad
|
|