search

digraphs / Digraphs

The GAP package Digraphs
https://digraphs.github.io/Digraphs
Other
29 stars 42 forks source link

The CI should cancel existing jobs (if any) #661

Closed james-d-mitchell closed 6 days ago

james-d-mitchell commented 1 week ago

Just to avoid the situation where we push multiple times in quick succession to the same PR, and then have lots of CI jobs running, when we only care about the most recent ones.