Closed johnynek closed 1 year ago
currently we are only running github actions on push, but that does not include outside forks.
currently we are only running github actions on push, but that does not include outside forks.