Skip to content

fix(lstar): reject malformed justification state with typed errors (#… #494

fix(lstar): reject malformed justification state with typed errors (#…

fix(lstar): reject malformed justification state with typed errors (#… #494

Triggered via push July 4, 2026 08:50
Status Failure
Total duration 10m 4s
Artifacts

ci.yml

on: push
Dead code detection
2m 2s
Dead code detection
Coverage gate - Python 3.12
9m 8s
Coverage gate - Python 3.12
Fill test fixtures - Python 3.14
5m 5s
Fill test fixtures - Python 3.14
Interop tests - Multi-node consensus
4m 43s
Interop tests - Multi-node consensus
Matrix: lint
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 error, 38 warnings, and 6 notices
Tests - Python 3.13 on ubuntu-latest
Process completed with exit code 1.
Tests - Python 3.13 on ubuntu-latest
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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Tests - Python 3.13 on ubuntu-latest
Failed to restore: Cache service responded with 400
Dead code detection
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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Dead code detection
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>07MlIagAAAACIPPcbnVVERpcFW0bQjDjwUEhYMzFFREdFMDUyMABFZGdl
Dead code detection
Failed to restore: Cache service responded with 400
Lint and format checks - Python 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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Lint and format checks - Python 3.12
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0FspIagAAAACmW71UOXlVRrNs0en1GlM/UEhMMzBFREdFMDQwOABFZGdl
Lint and format checks - Python 3.12
Failed to restore: Cache service responded with 400
Lint and format checks - Python 3.13
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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Lint and format checks - Python 3.13
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0GMpIagAAAAAQkp4z7FulSJH57M1mHWajUEhYMzFFREdFMDIxNQBFZGdl
Lint and format checks - Python 3.13
Failed to restore: Cache service responded with 400
Lint and format checks - Python 3.14
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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Lint and format checks - Python 3.14
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0IcpIagAAAADp5Ab6+NeFSYWs8X02+xALTEFYRURHRTIwMTkARWRnZQ==
Lint and format checks - Python 3.14
Failed to restore: Cache service responded with 400
Interop tests - Multi-node consensus
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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Interop tests - Multi-node consensus
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0iMpIagAAAAAGiG6N4UH3S71ShXl3dyKOUEhMMzBFREdFMDIyMgBFZGdl
Interop tests - Multi-node consensus
Failed to restore: Cache service responded with 400
Tests - Python 3.14 on macos-latest
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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Tests - Python 3.14 on macos-latest
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0j8pIagAAAAD4OWL/9prrQJCXr7U//O19TEFYMzExMDAwMTEyMDE5AEVkZ2U=
Tests - Python 3.14 on macos-latest
Failed to restore: Cache service responded with 400
Fill test fixtures - Python 3.14
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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Fill test fixtures - Python 3.14
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0oMpIagAAAAD2UDNokPlpQaPT5vbvdZqyU04xRURHRTIzMTYARWRnZQ==
Fill test fixtures - Python 3.14
Failed to restore: Cache service responded with 400
Tests - Python 3.13 on macos-latest
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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Tests - Python 3.13 on macos-latest
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0PctIagAAAACaXUsd/OnnQ7LURvzAZ+owTEFYRURHRTE4MTYARWRnZQ==
Tests - Python 3.13 on macos-latest
Failed to restore: Cache service responded with 400
Tests - Python 3.14 on ubuntu-latest
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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Tests - Python 3.14 on ubuntu-latest
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0lstIagAAAAA4PmKJk6rbT5xn+MEe+esjUEhMMzBFREdFMDQwNgBFZGdl
Tests - Python 3.14 on ubuntu-latest
Failed to restore: Cache service responded with 400
Coverage gate - Python 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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Coverage gate - Python 3.12
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0lctIagAAAAAd9/FAoieCSZvVsC0gH01yUEhMMzBFREdFMDQwOQBFZGdl
Coverage gate - Python 3.12
Failed to restore: Cache service responded with 400
Tests - Python 3.12 on macos-latest
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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Tests - Python 3.12 on macos-latest
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0sstIagAAAABHdGvgsYy9Rby0Rf7FyBzwTEFYMzExMDAwMTExMDIzAEVkZ2U=
Tests - Python 3.12 on macos-latest
Failed to restore: Cache service responded with 400
Tests - Python 3.12 on ubuntu-latest
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, astral-sh/setup-uv@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Tests - Python 3.12 on ubuntu-latest
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0zMtIagAAAACvrifPN+EbQZYW884uoU51UEhMMzBFREdFMDEwOQBFZGdl
Tests - Python 3.12 on ubuntu-latest
Failed to restore: Cache service responded with 400
Interop tests - Multi-node consensus
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
Tests - Python 3.14 on macos-latest
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
Fill test fixtures - Python 3.14
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
Tests - Python 3.13 on macos-latest
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
Coverage gate - Python 3.12
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
Tests - Python 3.12 on macos-latest
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167