Skip to content

Merge pull request #418 from egraphs-good/codex/new-user-usability-docs #1440

Merge pull request #418 from egraphs-good/codex/new-user-usability-docs

Merge pull request #418 from egraphs-good/codex/new-user-usability-docs #1440

Triggered via push June 18, 2026 21:15
Status Success
Total duration 11m 52s
Artifacts

CI.yml

on: push
Matrix: benchmark
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
benchmark (codspeed-macro)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830, actions/github-script@f28e40c7f34bde8b3046d885e986cb6290c5673b. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
benchmark (codspeed-macro)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/home/runner/.cargo/bin/rustup' failed with exit code 1
benchmark (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/cache@0057852bfaa89a56745cba8c7296529d2fc39830, actions/github-script@f28e40c7f34bde8b3046d885e986cb6290c5673b. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
benchmark (ubuntu-latest)
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12-pruned-a23309cdf241a90da804d86b2fbbad1cd27e3324ab1d8fa38c30d8b40c2154f8, another job may be creating this cache.
benchmark (ubuntu-latest)
The 'instrumentation' runner mode is deprecated and will be removed in a future version. Please use 'simulation' instead.
docs
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-unknown-pruned-a23309cdf241a90da804d86b2fbbad1cd27e3324ab1d8fa38c30d8b40c2154f8, another job may be creating this cache.