search

cvc5 / cvc5_pythonic_api

A Z3Py-compatible interface to cvc5
Other
6 stars 9 forks source link

Cancel already running CI jobs #76

Closed nafur closed 2 years ago

nafur commented 2 years ago

This adapts the technique we use in the cvc5 repository to cancel CI jobs from previous commits on the same branch/PR that are still running. This saves CI time and some trees...