Code

chore: improve docs ci #856

Code

Merged

ruben-arts merged 4 commits intoprefix-dev:mainprefix-dev/pixi:mainfrom ruben-arts:fix/deploy-dev-docsruben-arts/pixi:fix/deploy-dev-docsCopy head branch name to clipboardFeb 26, 2024

+6-3

Commits

Commits on Feb 26, 2024

• fix: deploy dev docs by giving it permission to write to contents

  ruben-arts

  committed
  bf41cd6

  Copy full SHA for bf41cd6

• test: deploy dev docs in pr ci

  ruben-arts

  committed
  f99a2c0

  Copy full SHA for f99a2c0

• fix: undo adding permissions

  ruben-arts

  committed
  d222e68

  Copy full SHA for d222e68

• fix: use docs environment in docs ci

  ruben-arts

  committed
  5eda43b

  Copy full SHA for 5eda43b