Merge remote-tracking branch 'origin/main' into dev #13383

Sign in to view logs

Workflow file for this run

.github/workflows/ci.yml at c775c6c

	name: CI

	on: [push, pull_request]

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Use Node.js 18
	uses: actions/setup-node@v1
	with:
	node-version: 18
	- name: Install Dependencies
	run: npm ci
	- name: Run Build
	run: npm run build

	lint:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Use Node.js 18
	uses: actions/setup-node@v1
	with:
	node-version: 18
	- name: Install Dependencies
	run: npm ci
	- name: Run Lint
	run: npm run check-lint

	test:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Use Node.js 18
	uses: actions/setup-node@v1
	with:
	node-version: 18
	- name: Install Dependencies
	run: npm ci
	- name: Run Tests
	run: npm test
	env:
	CI: true

	typecheck:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Use Node.js 18
	uses: actions/setup-node@v1
	with:
	node-version: 18
	- name: Install Dependencies
	run: npm ci
	- name: Type Check
	run: npm run type