Skip to content

docs: refresh README, contributing guide and workspace ADR #42

docs: refresh README, contributing guide and workspace ADR

docs: refresh README, contributing guide and workspace ADR #42

Triggered via push July 18, 2026 21:49
Status Failure
Total duration 1m 35s
Artifacts 1

ci.yml

on: push
Rust (fmt, clippy, test, deny)
27s
Rust (fmt, clippy, test, deny)
Node (lint, typecheck, test)
1m 31s
Node (lint, typecheck, test)
Lean (Lake)
15s
Lean (Lake)
Terraform & Helm
8s
Terraform & Helm
Docker (lean-farm image)
31s
Docker (lean-farm image)
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 5 warnings
Terraform & Helm
Process completed with exit code 1.
Terraform & Helm
Terraform exited with code 3.
Lean (Lake)
Process completed with exit code 1.
Rust (fmt, clippy, test, deny)
Process completed with exit code 1.
Docker (lean-farm image)
buildx failed with: ERROR: failed to build: failed to solve: process "/bin/sh -c cargo build --release --bin lean-farm" did not complete successfully: exit code: 101
Node (lint, typecheck, test)
Process completed with exit code 1.
Terraform & Helm
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, hashicorp/setup-terraform@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Lean (Lake)
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. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Rust (fmt, clippy, test, deny)
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. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Docker (lean-farm image)
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/
Node (lint, typecheck, test)
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/

Artifacts

Produced during runtime
Name Size Digest
SentinelOps-CI~spec-to-proof~E3TVCF.dockerbuild
36.3 KB
sha256:631af55d8b7c4c57ff5b2a784d5f48cef62cbe37ba4d1dd3d0a60ae13e5beaa0