L_2: Introduce metadata part in .vnnlib file to persist image, image_class and epsilon for SDP-CROWN #530

	# This is a basic workflow to help you get started with Actions

	name: Pytests

	# Controls when the workflow will run
	on:
	# Triggers the workflow on push or pull request events but only for the "main" branch
	push:
	branches: [ "main" ]
	pull_request:
	branches: [ "main" ]


	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	test:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.10"

	- name: Cache venv
	uses: actions/cache@v4
	with:
	path: .venv
	key: venv-${{ runner.os }}-${{ hashFiles('uv.lock') }}
	restore-keys: venv-${{ runner.os }}-

	- name: Install uv and create environment
	run: \|
	pip install uv
	uv venv
	source .venv/bin/activate
	uv sync --extra dev
	uv pip install auto-verify
	uv pip install git+https://github.com/fra31/auto-attack

	- name: Run pytest
	run: \|
	source .venv/bin/activate
	python -m pytest --cov tests/ --verbose

Navigation Menu