Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
39 commits
Select commit Hold shift + click to select a range
5601b55
feat(finale)!: fumadocs, part 3
novusnota Jun 4, 2026
fa0d0d1
Merge branch 'main' into novusnota/fumadocs-3
novusnota Jun 4, 2026
bea9278
correct link rewrite
novusnota Jun 4, 2026
f644290
temp setback
novusnota Jun 5, 2026
e37778c
we are meta now
novusnota Jun 5, 2026
4e34573
Merge branch 'main' into novusnota/fumadocs-3
novusnota Jun 8, 2026
ba19d12
Merge branch 'main' into novusnota/fumadocs-3
novusnota Jun 8, 2026
a7d0912
edit after the fact
novusnota Jun 8, 2026
d93124e
correst link post-processing
novusnota Jun 8, 2026
95ac6ba
feat: support `tag` on the folder and file level
novusnota Jun 9, 2026
73144ef
restore bp legacy tag
novusnota Jun 9, 2026
aae48c9
openapi: complete setup
novusnota Jun 9, 2026
d25447b
openapi: couple of meta.json files for OpenAPI routes
novusnota Jun 9, 2026
3b2f597
chore: only show copy buttons for non-API routes
novusnota Jun 9, 2026
5ae48b1
spell
novusnota Jun 9, 2026
cbd8465
Potential fix for pull request finding 'Unused variable, import, func…
novusnota Jun 9, 2026
a3de223
indent guides in code blocks
novusnota Jun 10, 2026
2abae0b
Merge branch 'main' into novusnota/fumadocs-3
novusnota Jun 10, 2026
8d5a7fc
Explicit title= attribute use
novusnota Jun 10, 2026
0a4ccc4
Remove the color splash on the index page
novusnota Jun 10, 2026
560b301
Port some CSS from extra.css
novusnota Jun 10, 2026
c5e2f22
Remove the warning banner
novusnota Jun 10, 2026
0575cd4
Tact language deprecation
novusnota Jun 10, 2026
d43ef99
Mini style patch
novusnota Jun 10, 2026
f002d30
Vertical cap on long code blocks
novusnota Jun 10, 2026
f38d9f4
Another style patch
novusnota Jun 11, 2026
29e990c
Heavily modify TVM instruction table styles and edit its layout a little
novusnota Jun 11, 2026
61222be
Callout fix
novusnota Jun 11, 2026
d46e921
Prettier for non-md[x] files and mass-reformatting
novusnota Jun 11, 2026
1ae7cc6
Nitpick
novusnota Jun 11, 2026
17a015b
better ignores
novusnota Jun 12, 2026
c43bb92
Glorious tab bar!
novusnota Jun 12, 2026
06393ed
Some fixes
novusnota Jun 12, 2026
973d714
Scroll to top button in ToC
novusnota Jun 12, 2026
f159f2b
Massive rework of the Catchain visualizer component
novusnota Jun 13, 2026
f98cdc7
Simplify FileTree
novusnota Jun 13, 2026
e0c1573
Pre- and post-build scripts cleanup
novusnota Jun 13, 2026
430bfd3
Increase print width to 100 and reformat
novusnota Jun 13, 2026
be57e1c
1
novusnota Jun 13, 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
57 changes: 17 additions & 40 deletions .cspell.jsonc
Original file line number Diff line number Diff line change
Expand Up @@ -16,28 +16,20 @@
// Banned words with no clear or correct replacements
// For a few words with those, see the flagWords property later in this file
"name": "deny-list",
"path": "public/dictionaries/ban.txt"
"path": "public/dictionaries/ban.txt",
},
{
"name": "2lw-deny-list",
"path": "public/dictionaries/two-letter-words-ban.txt"
"path": "public/dictionaries/two-letter-words-ban.txt",
},
{
"name": "tvm-instructions",
"path": "public/dictionaries/tvm-instructions.txt"
}
],
"dictionaries": [
"main-list",
"deny-list",
"2lw-deny-list",
"tvm-instructions",
"path": "public/dictionaries/tvm-instructions.txt",
},
],
"dictionaries": ["main-list", "deny-list", "2lw-deny-list", "tvm-instructions"],
"useGitignore": true,
"files": [
"**/*.{md,mdx}",
"**/*.{js,jsx,mjs}",
],
"files": ["**/*.{md,mdx}", "**/*.{js,jsx,mjs}"],
"minWordLength": 3,
"overrides": [
// Enable case sensitivity for Markdown and MDX files only
Expand Down Expand Up @@ -69,58 +61,43 @@
// Do not check for banned words (denylists or flagWords) in certain files
{
"filename": "content/contribute/style-guide*.mdx",
"ignoreWords": [
"tos",
"DOI",
"boc",
"BOC",
],
"ignoreWords": ["tos", "DOI", "boc", "BOC"],
"ignoreRegExpList": [
"\\b[tT]on[a-zA-Z]+\\b", // ton or Ton-prefixed words
"\\b[a-zA-Z]+Chain\\b", // Chain-suffixed words
],
"dictionaries": [
"!deny-list", // turns off the dictionary
"!2lw-deny-list", // turns off the dictionary
]
],
},
{
"filename": "content/tolk/features/compiler-optimizations.mdx",
"ignoreWords": [
"fifting",
]
"ignoreWords": ["fifting"],
},
{
"filename": "**/api/**/*.{json,yml,yaml}",
"ignoreWords": [
"multisigs",
"smc",
"Uninited",
],
"ignoreWords": ["multisigs", "smc", "Uninited"],
"dictionaries": [
"!deny-list", // turns off the dictionary
"!2lw-deny-list", // turns off the dictionary
]
],
},
{
"filename": "**/*.{js,jsx,mjs}",
"ignoreWords": [
"Dests",
],
"ignoreWords": ["Dests"],
"dictionaries": [
"!deny-list", // turns off the dictionary
"!2lw-deny-list", // turns off the dictionary
]
],
},
{
"filename": "public/grammars/*.json",
"ignoreWords": [
"tlb",
],
"ignoreWords": ["tlb"],
"dictionaries": [
"!deny-list", // turns off the dictionary
"!2lw-deny-list", // turns off the dictionary
]
],
},
{
"filename": "content/ecosystem/ai/mcp.mdx",
Expand All @@ -133,7 +110,7 @@
"ignoreWords": [
"subsecond", // without a hyphen in the filename
],
}
},
],
"ignorePaths": [
// Some whitepapers
Expand Down Expand Up @@ -165,7 +142,7 @@
"CODEOWNERS",
"LICENSE-*",
"snippets/tvm-instruction-table.jsx",
"snippets/catchain-visualizer.jsx"
"snippets/catchain-visualizer.jsx",
],
"ignoreRegExpList": [
//
Expand Down
33 changes: 19 additions & 14 deletions .github/scripts/common.mjs
Original file line number Diff line number Diff line change
Expand Up @@ -11,31 +11,34 @@ export async function hidePriorCommentsWithPrefix({
owner: context.repo.owner,
repo: context.repo.repo,
issue_number: context.issue.number,
})
}),
);
await exec.exec('sleep 0.5s');
for (const comment of comments.data) {
const commentData = await withRetry(() =>
github.graphql(`
github.graphql(
`
query($nodeId: ID!) {
node(id: $nodeId) {
... on IssueComment {
isMinimized
}
}
}
`, { nodeId: comment.node_id })
`,
{ nodeId: comment.node_id },
),
);
await exec.exec('sleep 0.5s');
const isHidden = commentData?.node?.isMinimized;
if (isHidden) { continue; }
if (
comment.user.login === user &&
comment.body.startsWith(prefix)
) {
if (isHidden) {
continue;
}
if (comment.user.login === user && comment.body.startsWith(prefix)) {
console.log('Comment node_id:', comment.node_id);
const commentStatus = await withRetry(() =>
github.graphql(`
github.graphql(
`
mutation($subjectId: ID!, $classifier: ReportedContentClassifiers!) {
minimizeComment(input: {
subjectId: $subjectId,
Expand All @@ -47,10 +50,12 @@ export async function hidePriorCommentsWithPrefix({
}
}
}
`, {
subjectId: comment.node_id,
classifier: resolved ? 'RESOLVED' : 'OUTDATED',
})
`,
{
subjectId: comment.node_id,
classifier: resolved ? 'RESOLVED' : 'OUTDATED',
},
),
);
await exec.exec('sleep 0.5s');
console.log(commentStatus);
Expand All @@ -70,7 +75,7 @@ export async function createComment({
repo: context.repo.repo,
issue_number: context.issue.number,
body: body,
})
}),
);
await exec.exec('sleep 0.2s');
}
Expand Down
Loading