Artiweb > Pull Request #3017

Update tests.yml #3017

Github

Description

Typo in the arguments to exclude optional test during unit-test job.

This PR is required for #3014, that is failing in proof_references.

Artifacts