Closed javierggt closed 4 years ago
This is a tiny change to the github actions I just introduced in the last PR. It allows one to trigger the conda build using the REST API. It just might be useful.
This is a tiny change to the github actions I just introduced in the last PR. It allows one to trigger the conda build using the REST API. It just might be useful.