Open dennisklein opened 1 year ago
For #482. Replacing zenodo release pull with github push on release is an exercise for another day.
(Once we merge this, I will make a tag to see if the asset upload works. So far untested.)
For #482. Replacing zenodo release pull with github push on release is an exercise for another day.
(Once we merge this, I will make a tag to see if the asset upload works. So far untested.)