diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ee4b265bb..ec1c07ffc 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -55,6 +55,7 @@ jobs: - "**/*" - "!assets/**" - "!docs/**" + - "docs/source_files/**" - "!install/**" - "!assets/**" - "!**/*.md" diff --git a/docs/source_files/pixi_tomls/activation.toml b/docs/source_files/pixi_tomls/activation.toml index ccff0a53a..072a9c3ff 100644 --- a/docs/source_files/pixi_tomls/activation.toml +++ b/docs/source_files/pixi_tomls/activation.toml @@ -1,7 +1,7 @@ [project] channels = [] name = "activation" -platforms = ["linux-64"] +platforms = ["linux-64", "win-64"] # --8<-- [start:activation] [activation.env] @@ -14,12 +14,12 @@ R_LIBS = "$PIXI_R_LIBS" R_LIBS_USER = "$PIXI_R_LIBS" -[activation] +[target.unix.activation] # Use sh scripts on unix scripts = [ # Common in the ROS workspaces "install/setup.sh", - # Want to add some personall scripts to the activation: + # Want to add some personal scripts to the activation: "activation.sh", ]