CI: limit trigger for push to master branch

moves-rwth / carl-storm

The Computer ARithmetic and Logic library for the Storm model checker

Other

4 stars 3 forks source link

Closed volkm closed 4 months ago

volkm commented 5 months ago

Commits to a PR currently trigger the CI twice: once for the push and once for the PR. Limiting to the master branch should prevent it.

sjunges commented 5 months ago

Great!