refactor(lstar): trim state-transition docs and use itertools.batched… #482
ci.yml
on: push
Dead code detection
2m 40s
Coverage gate - Python 3.12
7m 12s
Fill test fixtures - Python 3.14
4m 22s
Interop tests - Multi-node consensus
4m 0s
Matrix: lint
Matrix: test
Annotations
39 warnings
|
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>0D6QyagAAAABYZL4OJa/TRqr8AARRyRIqUEhMMzBFREdFMDIxOABFZGdl
|
|
Dead code detection
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>0EaQyagAAAADyfJGU/Wv7TohmH8pXJd2wUEhMMzBFREdFMDIwNwBFZGdl
|
|
Lint and format checks - Python 3.14
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>0EaQyagAAAAB8qks8bDIrTJY8mgCitPzCTVNQMzExMDAwMTA0MDIxAEVkZ2U=
|
|
Lint and format checks - Python 3.13
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>0FqQyagAAAAD6PjhyC8yaTJaIK7btD+t7TEFYMzExMDAwMTEyMDI5AEVkZ2U=
|
|
Lint and format checks - Python 3.12
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>0dKQyagAAAAAlDE2YFFgJRKvr44E4pCSlTEFYRURHRTE1MTcARWRnZQ==
|
|
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>0dqQyagAAAADef0uKby2VTqwV2E92Gt3EU04xRURHRTE1MTYARWRnZQ==
|
|
Tests - Python 3.13 on macos-latest
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>0p6QyagAAAADSaZRFT6SHS65RYo+E0LswU04xRURHRTE5MTQARWRnZQ==
|
|
Tests - Python 3.14 on macos-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>0HaUyagAAAAB5Ie9mvfF6RbPvj2qjSS84U04xRURHRTE4MTYARWRnZQ==
|
|
Coverage gate - Python 3.12
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>0Z6UyagAAAAA/9fluu4ZlTrHhND+yNG7/UEhMMzBFREdFMDEyMgBFZGdl
|
|
Interop tests - Multi-node consensus
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>0fKUyagAAAAAcmWSIp7jsS4B/1hlps0xnUEhYMzFFREdFMDYxNwBFZGdl
|
|
Tests - Python 3.14 on ubuntu-latest
Failed to restore: Cache service responded with 400
|
|
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 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>0oqUyagAAAACGBWXZPkz2QJpS24yPmnrBUEhMMzBFREdFMDIxOQBFZGdl
|
|
Tests - Python 3.13 on ubuntu-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>0sKUyagAAAACdlB3G9vpQSbLB0UreN3JUTEFYRURHRTIwMjIARWRnZQ==
|
|
Tests - Python 3.12 on ubuntu-latest
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>01KUyagAAAAAyajtHE0jnT7OYNIFsyYyJU04xRURHRTI5MTMARWRnZQ==
|
|
Tests - Python 3.12 on macos-latest
Failed to restore: Cache service responded with 400
|