Skip to content

Commit

Permalink
update search box
Browse files Browse the repository at this point in the history
  • Loading branch information
GiggleLiu committed Jun 29, 2024
1 parent d6236ae commit 83995f9
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion .github/workflows/deploy.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,10 +35,16 @@ jobs:
# The last line should be `optimize()` though you may want to give it
# specific arguments, see the documentation or ?optimize in the REPL.
- run: julia -e '
using Pkg;
Pkg.add(Pkg.PackageSpec(name="NodeJS"));
using NodeJS;
run(`$(npm_cmd()) install lunr`);
run(`$(npm_cmd()) install cheerio`);
using Pkg; Pkg.activate("."); Pkg.instantiate();
using NodeJS; run(`$(npm_cmd()) install highlight.js`);
using Franklin;
optimize()'
serve(single=true, cleanup=false); lunr(); optimize(minify=false, prerender=false);
'
- name: Build and Deploy
uses: JamesIves/github-pages-deploy-action@releases/v3
with:
Expand Down

0 comments on commit 83995f9

Please sign in to comment.