Skip to content

v1.0.5

Choose a tag to compare

View all tags
@will-break-it will-break-it released this 05 Jan 17:58
· 4 commits to main since this release
v1.0.5
14b2125

Performance

  • Improved memory usage for large documentation sets - Added explicit JSDOM cleanup between files by calling window.close() and clearing internal state. This helps garbage collection when processing large documentation sets (600+ files).

Bug Fixes (from v1.0.3 and v1.0.4)

  • Fixed anchor links for multi-block pages - Links to definitions in later code blocks now correctly point to the appropriate block.
  • Fixed self-referential links with filename prefix - Agda generates self-referential links with the filename included, which are now correctly handled.

Fixes #1

Note: If you're still experiencing memory issues with very large documentation sets, try increasing the Node.js heap size:

- uses: will-break-it/agda-web-docs-lib@v1
  with:
    node-options: "--max-old-space-size=8192"  # 8GB
Assets 2
Loading