Closed andrea-pasquale closed 4 months ago
Fix a KeyError that was appearing from time to time when running CHSH on GitHub.
KeyError
Checklist:
master
main
Attention: Patch coverage is 55.55556% with 4 lines in your changes are missing coverage. Please review.
55.55556%
4 lines
Project coverage is 97.28%. Comparing base (7493aed) to head (1f22615).
7493aed
1f22615
Fix a
KeyError
that was appearing from time to time when running CHSH on GitHub.Checklist:
master
main
main