Spaces:
Runtime error
Runtime error
marimo-github-maintenance-bot[bot]
[github-maintenance] Pin GitHub Actions to SHA hashes (#143)
7d87b36 unverified | name: Deploy to GitHub Pages | |
| on: | |
| push: | |
| branches: ['main'] | |
| workflow_dispatch: | |
| concurrency: | |
| group: 'pages' | |
| cancel-in-progress: false | |
| env: | |
| UV_SYSTEM_PYTHON: 1 | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4 | |
| - name: π Install uv | |
| uses: astral-sh/setup-uv@38f3f104447c67c051c4a08e39b64a148898af3a # v4 | |
| - name: π Set up Python | |
| uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5 | |
| with: | |
| python-version: 3.12 | |
| - name: π¦ Install dependencies | |
| run: | | |
| make install | |
| - name: π οΈ Export notebooks | |
| run: | | |
| make build | |
| - name: π€ Upload artifact | |
| uses: actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3 | |
| with: | |
| path: _site | |
| deploy: | |
| needs: build | |
| permissions: | |
| pages: write | |
| id-token: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: π Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4 | |