GitHub repository: shravanngoswamii/DocsNav
Primary language: HTML
Created: 2024-10-05T12:16:09Z
Description: A GitHub Action for adding a custom navigation bar to Documenter.jl-generated HTML files!