Skip to content

Commit

Permalink
Update build_example_web.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
HKalbasi authored Jan 15, 2024
1 parent 8d1d89b commit a12c1a4
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/build_example_web.yml
Original file line number Diff line number Diff line change
Expand Up @@ -59,8 +59,8 @@ jobs:
echo "proof.babaeee.ir" > dist/CNAME
echo "" > dist/.nojekyll
cat dist/index.html > dist/404.html
cp front/node_modules/z3-solver/build/z3-built.js dist/
cp front/node_modules/z3-solver/build/z3-built.wasm dist/
cp node_modules/z3-solver/build/z3-built.js dist/
cp node_modules/z3-solver/build/z3-built.wasm dist/
- name: Deploy to github pages
Expand Down

0 comments on commit a12c1a4

Please sign in to comment.