From 0b700ce1e283819005ef3e4259daca397bbf5e51 Mon Sep 17 00:00:00 2001 From: Alessio Quaglino Date: Fri, 15 Sep 2023 08:58:15 -0700 Subject: [PATCH] Add libsdf to github actions. PiperOrigin-RevId: 565691982 Change-Id: Ia1bfa4242c0af4d37f6cd660c3404605439d9ffd --- .github/workflows/build.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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