8000 Merge main into v3 (#509) by adityamukho · Pull Request #510 · project-minigraf/minigraf · GitHub
[go: up one dir, main page]
Skip to content

Merge main into v3 (#509) #510

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
adityamukho merged 7 commits into from
Oct 10, 2026
Merged

Merge main into v3 (#509) #510

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
b912f2d
ci(fuzz): fuzz main and v3 nightly in parallel jobs, keep the corpus …
adityamukho Oct 9, 2026
b67c34a
Merge pull request #500 from project-minigraf/fuzz/387-workflows-main
adityamukho Oct 9, 2026
e8450be
ci(fuzz): drop the hashed copy of each seed after cmin (#387)
adityamukho Oct 9, 2026
4da2a1a
Merge pull request #503 from project-minigraf/fuzz/387-cmin-dedup-main
adityamukho Oct 9, 2026
e17c5ec
fix(storage): refuse a sub-page file that is not a torn first write (…
adityamukho Oct 10, 2026
0da66eb
Merge pull request #509 from project-minigraf/fix/506-short-file-v2
adityamukho Oct 10, 2026
32f36e0
Merge main into v3 (#509)
adityamukho Oct 10, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion CLAUDE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -197,7 +197,7 @@ Auto-migrates v7 → v8 on open (spec §9, with a backup meta page). v1–v6 are

## Test Coverage

**1381 tests** (1372 passing, 9 ignored; unit + integration + doc).
**1382 tests** (1373 passing, 9 ignored; unit + integration + doc).
See `docs/TEST_COVERAGE.md` for the full per-file breakdown.

**Testing conventions** — see the Testing Conventions section below before writing any tests.
Expand Down
2 changes: 1 addition & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -131,7 +131,7 @@ let r2 = pq.execute(&[("tx", BindValue::TxCount(2)), ("entity", BindValue::Entit

```bash
cargo run # interactive Datalog REPL
cargo test # run 1381 tests
cargo test # run 1382 tests
cargo run < demos/demo_recursive.txt # recursive rules demo
```

Expand Down
Loading
Loading
0