Skip to content

Optimize validation of arrays #157

Optimize validation of arrays

Optimize validation of arrays #157

Workflow file for this run

name: Build and test EverParse
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