Skip to content

Commit

Permalink
try again
Browse files Browse the repository at this point in the history
  • Loading branch information
renerocksai committed Sep 11, 2024
1 parent a2f90ce commit 7f9975d
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 7 deletions.
5 changes: 0 additions & 5 deletions .github/workflows/deploy-gh-pages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -69,11 +69,6 @@ jobs:
git config --global user.email '[email protected]'
git add .
git remote add sshtarget [email protected]:zml/docs
# eval "$(ssh-agent -s)"
# ssh-keyscan -t ed25519 github.com > ~/.ssh/known_hosts
# ssh-add - <<< "${{ secrets.DEPLOY_KEY }}"
git commit -m "Update GitHub Pages"
git push sshtarget docs
Expand Down
6 changes: 4 additions & 2 deletions 02-BUILD.sh
Original file line number Diff line number Diff line change
@@ -1,8 +1,10 @@
cd zml
echo "Starting Bazel build..."
bazel build //zml:docs
cd ..
# we reference these outputs in build.zig
# cp ./zml/bazel-bin/zml/docs.docs/sources.tar .
# cp ./zml/bazel-bin/zml/docs.docs/sources.tar .
# - ./zml/bazel-bin/zml/docs.docs/sources.tar
# - ./zml/bazel-bin/zml/docs.docs/main.wasm
cd WORKSPACE
echo "Starting Zine build..."
zig build $@

0 comments on commit 7f9975d

Please sign in to comment.