Skip to content

docs: add milestones#1

Merged
mpaulucci merged 2 commits intomainfrom
mpaulucci-patch-1
May 31, 2024
Merged

docs: add milestones#1
mpaulucci merged 2 commits intomainfrom
mpaulucci-patch-1

Conversation

@mpaulucci
Copy link
Collaborator

No description provided.

@mpaulucci mpaulucci changed the title docs: milestones docs: add milestones May 31, 2024
@mpaulucci mpaulucci marked this pull request as ready for review May 31, 2024 14:10
@mpaulucci mpaulucci merged commit 7075a91 into main May 31, 2024
@mpaulucci mpaulucci deleted the mpaulucci-patch-1 branch October 16, 2024 18:11
xqft added a commit that referenced this pull request Jan 20, 2026
Replace NodeHash::from_slice(hash) with direct H256 construction using
try_into to avoid the memcpy overhead from H256::from_slice.

Actual profile result: Eliminated H256::from_slice calls from profile,
reducing total steps by 756,778 (-0.15%) on block 24271094.

Related: zkVM optimization #1
@fedacking fedacking mentioned this pull request Feb 5, 2026
1 task
avilagaston9 added a commit that referenced this pull request Feb 11, 2026
enumerated items as issue/PR references. The model now uses `1.`, `2.`
instead of `#1`, `#2`, and refers back to items as "Item 1" rather than
"Issue #1".
github-merge-queue bot pushed a commit that referenced this pull request Feb 12, 2026
…ub auto-links as issue references (#6187)

## Motivation

The Claude AI code reviewer (`.github/workflows/pr_ai_review.yaml`)
enumerates findings using `#1`, `#2`, etc., which GitHub auto-links as
references to issues/PRs. This clutters PR activity feeds and confuses
readers. Example:
#6186 (comment)

## Description

Add formatting rules to the AI review prompt
(`.github/prompts/ai-review.md`) instructing the model to use `1.`, `2.`
or bullet points instead of `#N`, and to refer back to items as "Item
1", "Point 2" rather than "Issue #1".

## Checklist

- [ ] Updated `STORE_SCHEMA_VERSION` (crates/storage/lib.rs) if the PR
includes breaking changes to the `Store` requiring a re-sync.
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