Skip to content
Deploy to GitHub Pages

nav.js: use CodeMirror for reference syntax blocks, same theme as editor #142

Sign in to view logs

nav.js: use CodeMirror for reference syntax blocks, same theme as editor

nav.js: use CodeMirror for reference syntax blocks, same theme as editor #142

Run time

Learn about OS pricing on GitHub Actions
Job Run time
deploy
17s
17s