Closed karbassi closed 2 years ago
Rather than *-latest, I'm specifying specific environments.
*-latest
List of environments: https://github.com/actions/virtual-environments#available-environments
Related to #369
Before submitting a pull request, please make sure the following is done:
master
fixes #XX
Another question to figure out is why make takes 10-14 seconds on macOS, while it takes basically nothing on Ubuntu.
make
Rather than
*-latest
, I'm specifying specific environments.List of environments: https://github.com/actions/virtual-environments#available-environments
Related to #369
Before submitting a pull request, please make sure the following is done:
master
.fixes #XX
reference to the issue that this pull request fixes.