Skip to content

Merge branch 'master' of https://github.com/MarufHasan24/mathlib #2

Merge branch 'master' of https://github.com/MarufHasan24/mathlib

Merge branch 'master' of https://github.com/MarufHasan24/mathlib #2

Workflow file for this run

name: Continuous Integration
on:
push:
branches:
- master
jobs:
build:
name: Code tests
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-node@v3
with:
node-version: 20
cache: npm
- name: 📦 Install dependencies
run: npm ci
- name: 🧪 Run all tests
run: npm run test