Skip to content

docs(paper): revise per Codex+Grok review; pdfLaTeX; F1/F0.5 charts #53

docs(paper): revise per Codex+Grok review; pdfLaTeX; F1/F0.5 charts

docs(paper): revise per Codex+Grok review; pdfLaTeX; F1/F0.5 charts #53

Triggered via push June 21, 2026 19:40
Status Success
Total duration 4m 29s
Artifacts

ci.yml

on: push
Format
16s
Format
Clippy
41s
Clippy
Coverage
1m 24s
Coverage
MSRV (1.96)
1m 15s
MSRV (1.96)
cargo-deny
36s
cargo-deny
Package completeness
14s
Package completeness
Fuzz targets compile (nightly)
55s
Fuzz targets compile (nightly)
Secret Scan (gitleaks)
6s
Secret Scan (gitleaks)
Unsafe Audit (cargo-geiger)
4m 26s
Unsafe Audit (cargo-geiger)
Docs
30s
Docs
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

40 warnings
Secret Scan (gitleaks)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Package completeness
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Format
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Docs
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683, Swatinem/rust-cache@9bdad043e88c75890e36ad3bbc8d27f0090dd609. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Docs
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>0TD44agAAAAAQymZq0H3rRJSYwDKYgPI9UEhYMzFFREdFMDIxMgBFZGdl
Docs
Failed to restore: Cache service responded with 400
Docs
Unsupported Cargo.lock format, fallback to caching entire file
cargo-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@11bd71901bbe5b1630ceea73d27597364c9af683. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Clippy
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683, Swatinem/rust-cache@9bdad043e88c75890e36ad3bbc8d27f0090dd609. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Clippy
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>0Vz44agAAAAAOAL2QYD8IQYjH9CbfKadzQ0hHRURHRTE4MjIARWRnZQ==
Clippy
Failed to restore: Cache service responded with 400
Clippy
Unsupported Cargo.lock format, fallback to caching entire file
Fuzz targets compile (nightly)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683, Swatinem/rust-cache@9bdad043e88c75890e36ad3bbc8d27f0090dd609. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Fuzz targets compile (nightly)
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>0ZD44agAAAAAv7yQntlrDQJkYUtezyeN5Q0hHRURHRTE4MTAARWRnZQ==
Fuzz targets compile (nightly)
Failed to restore: Cache service responded with 400
Fuzz targets compile (nightly)
Unsupported Cargo.lock format, fallback to caching entire file
MSRV (1.96)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683, Swatinem/rust-cache@9bdad043e88c75890e36ad3bbc8d27f0090dd609. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
MSRV (1.96)
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>0eD44agAAAAAQt4jkEYnsQKA9J4mfYnDdTEFYMzExMDAwMTEyMDIxAEVkZ2U=
MSRV (1.96)
Failed to restore: Cache service responded with 400
MSRV (1.96)
Unsupported Cargo.lock format, fallback to caching entire file
Coverage
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683, Swatinem/rust-cache@9bdad043e88c75890e36ad3bbc8d27f0090dd609. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Coverage
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>0gT44agAAAAC8L1jNB8jAS6e+uc7At7cBU0xDMzFFREdFMDExMwBFZGdl
Coverage
Failed to restore: Cache service responded with 400
Coverage
Unsupported Cargo.lock format, fallback to caching entire file
Test (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@11bd71901bbe5b1630ceea73d27597364c9af683, Swatinem/rust-cache@9bdad043e88c75890e36ad3bbc8d27f0090dd609. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Test (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>0hD44agAAAAAa8C7L60PbQq+QQcCRkUUYQ0hJMzBFREdFMDQxMABFZGdl
Test (ubuntu-latest)
Failed to restore: Cache service responded with 400
Test (ubuntu-latest)
Unsupported Cargo.lock format, fallback to caching entire file
Test (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@11bd71901bbe5b1630ceea73d27597364c9af683, Swatinem/rust-cache@9bdad043e88c75890e36ad3bbc8d27f0090dd609. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Test (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>0hz44agAAAAB7oAx2zf9VTKy6fES9H15tTEFYRURHRTE1MjAARWRnZQ==
Test (macos-latest)
Failed to restore: Cache service responded with 400
Test (macos-latest)
Unsupported Cargo.lock format, fallback to caching entire file
Test (windows-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@11bd71901bbe5b1630ceea73d27597364c9af683, Swatinem/rust-cache@9bdad043e88c75890e36ad3bbc8d27f0090dd609. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Test (windows-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>0yD44agAAAACPfR+ZZYCqRLcH4mKWmqALUEhMMzBFREdFMDExOABFZGdl
Test (windows-latest)
Failed to restore: Cache service responded with 400
Test (windows-latest)
Unsupported Cargo.lock format, fallback to caching entire file
Unsafe Audit (cargo-geiger)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683, Swatinem/rust-cache@9bdad043e88c75890e36ad3bbc8d27f0090dd609. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Unsafe Audit (cargo-geiger)
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>0OD84agAAAADcd3P2FBHET53NiZ/h3/UFQ0hHRURHRTE3MDkARWRnZQ==
Unsafe Audit (cargo-geiger)
Failed to restore: Cache service responded with 400
Unsafe Audit (cargo-geiger)
Unsupported Cargo.lock format, fallback to caching entire file