Skip to content

feat: navigation wildcard - #76

Merged
tonyd33 merged 3 commits into
release/0.3from
feat/navigation-wildcard
Aug 23, 2026
Merged

feat: navigation wildcard#76
tonyd33 merged 3 commits into
release/0.3from
feat/navigation-wildcard

Conversation

@tonyd33

@tonyd33 tonyd33 commented Aug 22, 2026

Copy link
Copy Markdown
Owner

No description provided.

@github-actions

github-actions Bot commented Aug 23, 2026

Copy link
Copy Markdown

Benchmark passed

Query time (limit 35s) over 7 runs.

Stage Median Mean Stddev
Read 0.81s 0.85s 0.11s
Parse 131.65s 132.03s 1.2s
Query 31.99s 32.02s 0.21s

Base automatically changed from feat/numeric-comparison to release/0.3 August 23, 2026 00:10
@tonyd33
tonyd33 enabled auto-merge (squash) August 23, 2026 02:59
@tonyd33
tonyd33 disabled auto-merge August 23, 2026 02:59
@tonyd33
tonyd33 enabled auto-merge August 23, 2026 03:01
@tonyd33
tonyd33 merged commit 1308e3f into release/0.3 Aug 23, 2026
2 checks passed
@tonyd33
tonyd33 deleted the feat/navigation-wildcard branch August 23, 2026 03:04
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