Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Post comment for PRs from forks (#4027)
* Add Linux to workflow * Add CircleCI again * Try to add comment * Extend comment function * Extend comment function * Extend comment function * Change artifact name * Revert changes to just posting a comment * Run on PR target * Add logging * trigger * Finalize changes
- Loading branch information