Skip to content
CI

Gate proof leaves with Lean theorem signatures #526

Sign in to view logs

Gate proof leaves with Lean theorem signatures

Gate proof leaves with Lean theorem signatures #526

Triggered via pull request July 21, 2026 09:54
@FluffyAIcodeFluffyAIcode
opened #224
AgentMemory/lean-signature-gate-0721
Status Success
Total duration 4m 14s
Artifacts 2

ci.yaml

on: pull_request
package import smoke
1m 25s
package import smoke
docker build + import smoke
2m 6s
docker build + import smoke
proto lint (buf)
10s
proto lint (buf)
proto stub drift
25s
proto stub drift
TypeScript SDK tests
16s
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/
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/
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/
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/

Artifacts

Produced during runtime
Name Size Digest
FluffyAIcode~Kakeya-LLM-Inference-engine~WGIW40.dockerbuild
37.5 KB
sha256:14ffc9b0467848be68b0c5f2a97508e0549b79f635e6a5c96c16ee2bfa426dbe
coverage-py3.12 Expired
21.7 KB
sha256:1981b6396f9e8adc11f40eeb5c6fb762e59af93cfa9299b13ea8cce9e47fcaef