Skip to content

Merge remote-tracking branch 'origin/main' #2395

Merge remote-tracking branch 'origin/main'

Merge remote-tracking branch 'origin/main' #2395

Workflow file for this run

name: Build
on:
push:
pull_request:
types: [ opened, reopened ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Enable corepack
run: corepack enable
- name: Setup NodeJS 18
uses: actions/setup-node@v4
with:
node-version: '20'
- name: Install dependencies
run: yarn
- name: Lint
run: yarn lint
- name: Test
run: yarn test
- name: Build
run: yarn build
- name: Upload coverage to Codecov
uses: codecov/codecov-action@v4
with:
token: ${{ secrets.CODECOV_TOKEN }}
directory: "./coverage"
fail_ci_if_error: false
flags: unittests
name: miranum-ide
verbose: true