Skip to content

move a-syntax-for-the-terms-of-linear-logic to inner #777

move a-syntax-for-the-terms-of-linear-logic to inner

move a-syntax-for-the-terms-of-linear-logic to inner #777

Workflow file for this run

# This workflow will do a clean installation of node dependencies,
# cache/restore them, build the source code and run tests across
# different versions of node For more information see:
# https://help.github.com/actions/language-and-framework-guides/using-nodejs-with-github-actions
name: Node.js CI
on:
push:
branches: ["master"]
pull_request:
branches: ["master"]
jobs:
build:
runs-on: ubuntu-latest
strategy:
matrix:
node-version: [23.x]
steps:
- uses: actions/checkout@v3
- uses: actions/setup-node@v3
with:
node-version: ${{ matrix.node-version }}
- run: npm install
- run: npm run build
- run: npm test