aboutsummaryrefslogtreecommitdiff
path: root/dev/bugzilla2github_stripped.csv
diff options
context:
space:
mode:
authorJason Gross2020-06-20 21:32:58 -0400
committerJason Gross2020-06-24 11:18:47 -0400
commitf9057bd07cd553b32724593c686ca21d5d7388f2 (patch)
treeec0673e474cbaaaf5ba7027cf1d89e0cf3e2fde1 /dev/bugzilla2github_stripped.csv
parent82485e9f2a36a7a52a56622a553817436636b00b (diff)
Add back fiat-crypto-legacy to the CI
This partially reverts commit 35a1cc4f5c708b745a2810a64d220f49eff4beca. (I've not added back the nix things, since I'm not sure what purpose they serve, and I've adjusted the targets slightly.) The CI build should no longer take an enormously long time to start, and fiat-crypto-legacy code is actively being used to track down memory issues in #12487. Additionally, f-c-l revealed a genuine bug in #7825, and so I'd like to keep f-c-l in the CI at least until #7825 is finished. I've been maintaining compatibility of f-c-l with master anyway on the side, in part to continue some performance experiments with it, and expect to continue to do so at least until the end of this calendar year, and it'd be nice for me to get advance warning when a PR is going to break it on master. (It seems reasonable to me to take it off the CI again once I'm no longer maintaining it / collecting data from it, and / or once #7825 is finished.)
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions