Skip to content

Merge pull request #140 from andrejilderda/fix/broken-notebook-folder… #20

Merge pull request #140 from andrejilderda/fix/broken-notebook-folder…

Merge pull request #140 from andrejilderda/fix/broken-notebook-folder… #20

Workflow file for this run

name: Release
permissions:
contents: write
id-token: write
on:
push:
branches: [ "main" ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Use Node.js 20
uses: actions/setup-node@v3
with:
registry-url: 'https://registry.npmjs.org/'
node-version: 20
cache: 'npm'
- name: Configure Git
run: |
git config --global user.email "${{ secrets.GIT_USER_EMAIL }}"
git config --global user.name "${{ secrets.GIT_USER_NAME }}"
- name: Install dependencies, build & release
env:
NODE_AUTH_TOKEN: ${{ secrets.NPM_TOKEN }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
npm ci
npm run build --if-present
bash ./release.sh