Skip to content

Make proof step details look nicer. #434

Make proof step details look nicer.

Make proof step details look nicer. #434

Workflow file for this run

name: CI
on: [push, pull_request]
jobs:
build:
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [macOS-latest, ubuntu-20.04, windows-latest]
steps:
- uses: actions/checkout@v1
- uses: actions/setup-node@v1
with:
node-version: '18.19'
- name: Install dependencies
run: |
npm install
npm install -g vsce
- name: Build
run: |
npm run vscode:prepublish
vsce package
- name: Check
run: npm run lint
- name: Test Non-Linux
if: matrix.os != 'ubuntu-20.04'
run: npm test --silent
- name: Test Linux
if: matrix.os == 'ubuntu-20.04'
run: xvfb-run --auto-servernum npm test --silent
- name: Upload artifact
if: matrix.os == 'ubuntu-20.04'
uses: actions/upload-artifact@v2
with:
name: vscode-tlaplus-ci.vsix
path: ${{ github.workspace }}/vscode-tlaplus-*.vsix