Version updated for https://github.com/will-break-it/agda-web-docs-lib to version v1.0.8. This action is used across all versions by 3 repositories. Go to the GitHub Marketplace to find the latest changes. Action Summary The Agda Web Docs Library GitHub Action transforms Agda HTML documentation into a modern, responsive web interface with features like sidebar navigation, dark/light theme support, full-text search, line highlighting, and type previews. It automates the process of enhancing Agda-generated documentation, making it more user-friendly and accessible, and integrates seamlessly with GitHub for source linking.

Version updated for https://github.com/will-break-it/agda-web-docs-lib to version v1.0.6. This action is used across all versions by 3 repositories. Go to the GitHub Marketplace to find the latest changes. Action Summary The “Agda Web Docs Library” GitHub Action enhances Agda-generated HTML documentation by transforming it into a modern, responsive, and feature-rich web interface. It automates the integration of features such as dark/light themes, full-text search, line highlighting with shareable URLs, type previews, and GitHub source links, making it easier to navigate, share, and explore Agda documentation.

Version updated for https://github.com/will-break-it/agda-web-docs-lib to version v1.0.4. This action is used across all versions by 3 repositories. Go to the GitHub Marketplace to find the latest changes. Action Summary The Agda Web Docs Library GitHub Action transforms Agda-generated HTML documentation into a modern, user-friendly format with features like responsive design, dark/light theme support, full-text search, and GitHub integration. It automates the process of enhancing Agda documentation with advanced web functionality, such as type previews, line highlighting with shareable URLs, and mobile-friendly layouts, making it easier to navigate and use.