diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-06-26 16:46:47 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-06-26 16:46:47 -0700 |
| commit | f074b03b899cf2ca5e9574e17fcc9ab2a40019ec (patch) | |
| tree | 74bfd22abc88d8c3b564b3b6f91d6ed985cf0ce2 /src/Text | |
| parent | 43b7162a1e5746d25fab7328378a5b5d1609cb71 (diff) | |
Revert "Try adding magic nix cache to nix CI build."
This reverts commit 295c6b04852391a23372ccb9153c1ec115c2c303.
This was actually slower than what we had before (14m on second
run, as compared to 12m).
Diffstat (limited to 'src/Text')
0 files changed, 0 insertions, 0 deletions