Skip to content

Update documentation #181

Update documentation

Update documentation #181

Workflow file for this run

name: Windows package build
on:
pull_request:
workflow_dispatch:
jobs:
build:
runs-on: [self-hosted, windows, X64]
steps:
- name: Check out repo
uses: actions/checkout@v2
- name: Build EverParse and its dependencies
shell: powershell
run: |
.\src\package\windows\build-everparse.ps1 -WithClean -DownloadZ3
- name: Test EverParse
shell: cmd
run: |
.\everparse\everparse.cmd src\3d\tests\Arithmetic.3d src\3d\tests\FieldDependence0.3d && .\everparse\everparse.cmd src\3d\tests\Comments.3d && .\everparse\everparse.cmd --check_hashes inplace src\3d\tests\Comments.3d
- name: Archive EverParse package
uses: actions/upload-artifact@v4
with:
name: everparse
path: everparse
include-hidden-files: true