Refresh stale native export review #55

Merged

ober merged 1 commit from chore/refresh-native-export-review-issue53 into master 2026-09-10 22:46:03 -04:00

Conversation 0 Commits 1 Files changed 2 +2 -2

ober commented 2026-09-10 22:18:28 -04:00

Owner

Copy link

Follow-up to #54 after its required CI exposed a time-based stale native-export review on current master.

Changes

• regenerate docs/reviews/2026-07-27-native-export-review.sexp with the repository-provided writer
• bump VERSION from 0.10.10 to 0.10.11

Verification

• support/check-native-export-review.sh → OK (204 exports)
• make binary
• ./jerboa-bin --version → jerboa-bin 0.10.11
• git diff --check

Follow-up to #54 after its required CI exposed a time-based stale native-export review on current master. ## Changes - regenerate `docs/reviews/2026-07-27-native-export-review.sexp` with the repository-provided writer - bump VERSION from 0.10.10 to 0.10.11 ## Verification - `support/check-native-export-review.sh` → OK (204 exports) - `make binary` - `./jerboa-bin --version` → `jerboa-bin 0.10.11` - `git diff --check`

ober added 1 commit 2026-09-10 22:18:29 -04:00

chore: refresh native export review 8e12871fbe

ober scheduled this pull request to auto merge when all checks succeed 2026-09-10 22:45:49 -04:00

ober merged commit affc8ba2f4 into master 2026-09-10 22:46:03 -04:00

ober referenced this pull request from a commit 2026-09-10 22:46:05 -04:00

Merge pull request #55

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

ober/jerboa!55

No description provided.