Skip to content

Use --ignore-scripts in CI#324

Merged
kriszyp merged 1 commit intomainfrom
ignore-scripts-in-ci
Apr 14, 2026
Merged

Use --ignore-scripts in CI#324
kriszyp merged 1 commit intomainfrom
ignore-scripts-in-ci

Conversation

@kriszyp
Copy link
Copy Markdown
Member

@kriszyp kriszyp commented Apr 5, 2026

No description provided.

@kriszyp kriszyp marked this pull request as ready for review April 11, 2026 12:50
@kriszyp kriszyp requested review from a team as code owners April 11, 2026 12:50
@dawsontoth dawsontoth requested a review from a team April 11, 2026 12:55
Copy link
Copy Markdown
Contributor

@cb1kenobi cb1kenobi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good idea! We do this in rocksdb-js.

@kriszyp kriszyp merged commit 8273e36 into main Apr 14, 2026
23 of 25 checks passed
@kriszyp kriszyp deleted the ignore-scripts-in-ci branch April 14, 2026 19:25
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.

3 participants