search

digraphs / Digraphs

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

New workflow cancels old one #665

Closed Joseph-Edwards closed 3 months ago

Joseph-Edwards commented 3 months ago

Fixes #661.

Joseph-Edwards commented 3 months ago

I tested this on my fork by pushing some nonsense commit, and it seems to work.