Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Save space on the GitHub runners by not building the devShells (#1705)
Reverts part of 1a74b59#diff-fb5c295cef0d8c42d829f58e5ec19920f741526206f7601876d6412d394acc35R107 because there isn't enough space on the GitHub self-hosted runners :(
- Loading branch information