Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert "Save JSON profile files from CI"
This reverts commit 78c6626. The profiles are no longer generated (commit d9b3976), so the upload will never work.
- Loading branch information