File tree Expand file tree Collapse file tree 1 file changed +12
-5
lines changed Expand file tree Collapse file tree 1 file changed +12
-5
lines changed Original file line number Diff line number Diff line change @@ -26,15 +26,22 @@ jobs:
2626 fi
2727 done
2828 exit 1
29-
30- - name : Create release
31- env :
32- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
29+
30+ - name : (for compiling to pass) install mujoco and set MUJOCO_DIR
3331 run : |
34- gh release create ${{ github.ref_name }} --generate-notes
32+ mkdir -p $HOME/.mujoco && cd $HOME/.mujoco
33+ wget https://github.com/google-deepmind/mujoco/releases/download/3.3.2/mujoco-3.3.2-linux-x86_64.tar.gz
34+ tar -xzf mujoco-3.3.2-linux-x86_64.tar.gz
35+ echo "MUJOCO_DIR=$HOME/.mujoco/mujoco-3.3.2" >> $GITHUB_ENV
3536
3637 - name : Publish packages
3738 env :
3839 CARGO_REGISTRY_TOKEN : ${{ secrets.CRATES_IO_TOKEN }}
3940 run : |
4041 cargo publish -p rusty_mujoco
42+
43+ - name : Create release
44+ env :
45+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
46+ run : |
47+ gh release create ${{ github.ref_name }} --generate-notes
You can’t perform that action at this time.
0 commit comments