Cache the cvc5 artifacts required to test the Pythonic API - #119

Cache the cvc5 artifacts required to test the Pythonic API#119

daniel-larraz merged 1 commit into

cvc5:maincvc5/cvc5_pythonic_api:mainfrom

daniel-larraz:ci-cache-cvc5-artifactsdaniel-larraz/cvc5_pythonic_api:ci-cache-cvc5-artifactsCopy head branch name to clipboard