Skip to content

Release v3.4.0 (updated Dafny to 4.8.0) #676

Release v3.4.0 (updated Dafny to 4.8.0)

Release v3.4.0 (updated Dafny to 4.8.0) #676

Workflow file for this run

name: AzurePipelines
on: [push, pull_request]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: "Prepare: Checkout Repository"
uses: actions/checkout@v2
- name: "Install Node.js"
uses: actions/setup-node@v3
- name: "Start xvfb"
run: |
/usr/bin/Xvfb :99 -screen 0 1024x768x24 > /dev/null 2>&1 &
echo ">>> Started xvfb"
- name: "Run tests"
run: |
pwd
ls
echo ">>> Compile ide-vscode"
npm install && npm run compile-tests && npm run compile && npm run lint
echo ">>> Compiled ide-vscode"
echo ">>> Run integration test"
npm test
env:
DISPLAY: ':99.0'