Skip to content

Bump thiserror from 1.0.64 to 2.0.0 #355

Bump thiserror from 1.0.64 to 2.0.0

Bump thiserror from 1.0.64 to 2.0.0 #355

Workflow file for this run

name: MiniZinc test
on: [push, pull_request]
jobs:
build:
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-latest]
clingconversion: [5.2.1]
minizincversion: [2.8.7]
steps:
- uses: actions/checkout@v2
- uses: conda-incubator/setup-miniconda@v3
with:
auto-update-conda: true
python-version: ${{ matrix.python-version }}
- name: Conda install clingcon
shell: bash -l {0}
run: |
conda install -c "potassco/label/dev" clingcon=${{matrix.clingconversion}}
- name: Test clingcon
shell: bash -l {0}
run: |
clingcon --version
- name: Install MiniZinc
run: |
wget https://github.com/MiniZinc/MiniZincIDE/releases/download/${{ matrix.minizincversion }}/MiniZincIDE-${{ matrix.minizincversion }}-bundle-linux-x86_64.tgz
tar xzf MiniZincIDE-${{ matrix.minizincversion }}-bundle-linux-x86_64.tgz
echo "$(pwd)/MiniZincIDE-${{ matrix.minizincversion }}-bundle-linux-x86_64/bin" >> $GITHUB_PATH
- name: Test MiniZinc
run: minizinc --version
- name: Install fzn2lp
run: |
cargo build --release
echo "$(pwd)/target/release" >> $GITHUB_PATH
- name: Test fzn2lp
run: fzn2lp --version
- name: Checkout flatzingo
uses: actions/checkout@v2
with:
repository: "potassco/flatzingo"
ref: "master"
path: "flatzingo"
- name: Install flatzingo
run: |
mkdir -p ~/.minizinc/solvers
mkdir -p ~/.minizinc/share
cp ./flatzingo/configuration/flatzingo.msc ~/.minizinc/solvers/
cp -r ./flatzingo/share/minizinc/flatzingo ~/.minizinc/share/
echo "$(pwd)/flatzingo" >> $GITHUB_PATH
- name: Install python stuff
run: |
sudo apt-get install -y python3-pip
pip3 install pytest
pip3 install --extra-index-url https://test.pypi.org/simple/ clingcon==${{ matrix.clingconversion }}.post4
- name: Test flatzingo
run: |
cd flatzingo
python3 -m pytest ./tests
- name: Checkout libminizinc
uses: actions/checkout@v2
with:
repository: "MiniZinc/libminizinc"
ref: ${{ matrix.minizincversion }}
path: "libminizinc"
- name: Install libminizinc test requirements
run: pip3 install -r libminizinc/tests/requirements.txt
- name: Prepare libminizinc testcases
run: sed -i 's/"gecode", "cbc", "chuffed"/"flatzingo"/' libminizinc/tests/minizinc_testing/spec.py
- name: Run libminizinc tests
shell: bash -l {0}
run: |
cd libminizinc/tests
pytest -k "not test_output_checker and not test_vis_ann and not test_vis_custom and not test_array_dzn_output and not test_json_section and not test_run_fzn" --driver=../../MiniZincIDE-${{ matrix.minizincversion }}-bundle-linux-x86_64/bin