Skip to content

Submission Colibri

Submission Colibri #12

Workflow file for this run

name: TestSolver
on:
pull_request:
paths:
- submissions/*.json
jobs:
generate-test-script:
runs-on: ubuntu-latest
steps:

Check failure on line 11 in .github/workflows/test-solver.yml

View workflow run for this annotation

GitHub Actions / .github/workflows/test-solver.yml

Invalid workflow file

You have an error in your yaml syntax on line 11
- name: Check out
uses: actions/checkout@v3
- uses: actions/cache@v3
with:
path: ~/.cache/pre-commit
key: pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}
- name: Set up the environment
uses: ./.github/actions/setup-poetry-env
- name: Compute changed files
id: changed-files
uses: tj-actions/changed-files@v41
with:
files: |
submissions/*.json
- name: Generate script
run: |
poetry run smtcomp generate-test-script test_data/ ${{ steps.changed-files.outputs.all_changed_files }}
rm -rf test_data/download
#upload-artifact lose permissions
-name: Archive directory
run: tar -cf test_data.tar test_data
- name: Upload generated test script
uses: actions/upload-artifact@v4
with:
name: generated_script
path: test_data.tar
run-test-script:
needs: generate-test-script
runs-on: ubuntu-latest
container: registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:latest
steps:
- name: Download generated test script
uses: actions/download-artifact@v4
with:
name: generated_script
path: test_data.tar
- name: Unarchive
run: tar -xf test_data.tar
- name: Show unpacked files
run: ls -lR test_data/
- name: Run test script
run: python3 test_data/test_script.py