diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 98f7417b..7bc18f65 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -162,7 +162,8 @@ jobs: working-directory: build run: mkdir -p ${{ matrix.tmpdir }}/mujoco_install/mujoco_plugin && cp lib/libelasticity.* ${{ matrix.tmpdir }}/mujoco_install/mujoco_plugin && - cp lib/libsensor.* ${{ matrix.tmpdir }}/mujoco_install/mujoco_plugin + cp lib/libsensor.* ${{ matrix.tmpdir }}/mujoco_install/mujoco_plugin && + cp lib/libsdf.* ${{ matrix.tmpdir }}/mujoco_install/mujoco_plugin - name: Copy plugins (Windows) if: ${{ runner.os == 'Windows' }} working-directory: build