pixi 0.15.2

A package management and workflow tool
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131

name: Deploy Docs

on:
  push:
    branches:
      - main
    paths:
      - "docs/**"
      - "mkdocs.yml"
    tags:
      - v**
  pull_request:
    branches:
      - main
    paths:
      - "docs/**"
      - ".github/workflows/docs.yml"
      - "mkdocs.yml"
      - "pixi.*"
  workflow_dispatch:
    inputs:
      tag:
        description: "Tag to deploy"
        required: true
        default: "v0.0.0"

# Allow one concurrent deployment
concurrency:
  group: "pages"
  cancel-in-progress: true

jobs:
  build-docs:
    if: github.ref != 'refs/heads/main' && !startsWith(github.ref, 'refs/tags/v')
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4
        with:
          submodules: recursive

      - uses: prefix-dev/setup-pixi@v0.5.1
        with:
          environments: docs
          pixi-version: v0.14.0
          cache: true

      - name: Build docs for test
        run: |
          pixi run build-docs

  docs-release:
    # Don't run on forks
    if: startsWith(github.event.ref, 'refs/tags/v') || github.event_name == 'workflow_dispatch' && startsWith(github.event.inputs.tag, 'v')
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4
        with:
          # fetch everything so we can checkout the tag
          fetch-depth: 0
          submodules: recursive

      # check out tag if workflow_dispatch
      - name: Checkout tag
        if: github.event_name == 'workflow_dispatch'
        run: |
          git checkout tags/${{ github.event.inputs.tag }}

      - uses: prefix-dev/setup-pixi@v0.5.1
        with:
          environments: docs
          pixi-version: v0.14.0
          cache: true

      - name: Configure Git user
        run: |
          git config --local user.email "github-actions[bot]@users.noreply.github.com"
          git config --local user.name "github-actions[bot]"

      - name: Extract tag name
        if: github.event_name != 'workflow_dispatch'
        run: echo "RELEASE_VERSION=${GITHUB_REF#refs/*/}" >> $GITHUB_ENV

      - name: Tag from workflow_dispatch
        if: github.event_name == 'workflow_dispatch'
        run: echo "RELEASE_VERSION=${{ github.event.inputs.tag }}" >> $GITHUB_ENV

      - name: Deploy with mike 🚀
        run: |
          pixi run -e docs mike deploy --push --update-aliases $RELEASE_VERSION latest

  docs-dev:
    # Don't run on forks
    if: github.ref == 'refs/heads/main' || github.event_name == 'workflow_dispatch' && !startsWith(github.event.inputs.tag, 'v')
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4
        with:
          # fetch everything so we can checkout the tag
          fetch-depth: 0
          submodules: recursive

      - uses: prefix-dev/setup-pixi@v0.5.1
        with:
          environments: docs
          pixi-version: v0.14.0
          cache: true

      - name: Configure Git user
        run: |
          git config --local user.email "github-actions[bot]@users.noreply.github.com"
          git config --local user.name "github-actions[bot]"

      - name: Deploy with mike 🚀
        run: |
          pixi run deploy-dev

      - name: Copy file to gh-pages
        run: |
          git fetch
          git checkout gh-pages
          git checkout main -- install/install.sh install/install.ps1
          mv install/install.sh install/install.ps1 .
          git restore .
          git restore --staged .
          git add install.sh install.ps1
          # Check diff before committing
          git diff-index --quiet HEAD || git commit -m "Update install scripts from main"
          git push origin gh-pages