Skip to content

Pin chainrules merge revision#23

Merged
shinaoka merged 1 commit into
mainfrom
codex/update-chainrules-merge-rev
May 5, 2026
Merged

Pin chainrules merge revision#23
shinaoka merged 1 commit into
mainfrom
codex/update-chainrules-merge-rev

Conversation

@shinaoka
Copy link
Copy Markdown
Member

@shinaoka shinaoka commented May 5, 2026

Summary

Validation

  • cargo fmt --all --check
  • cargo clippy --workspace --all-targets -- -D warnings
  • cargo nextest run --release --workspace --no-fail-fast
  • cargo test --doc --release --workspace
  • cargo llvm-cov nextest --workspace --release --json --output-path coverage.json
  • python3 scripts/check-coverage.py coverage.json
  • cargo doc --workspace --no-deps
  • python3 scripts/check-docs-site.py

Implemented with OpenAI Codex.

@shinaoka shinaoka enabled auto-merge (squash) May 5, 2026 08:28
@shinaoka shinaoka merged commit 1d4a4c1 into main May 5, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant