Copy from ISLP_labs
Activity
tschm commentedon Nov 12, 2025
fkiraly commentedon Nov 14, 2025
Closed by #665
Can you please use closing keywords so that merging PR automatically closes corresponding issues?
https://docs.github.com/en/get-started/writing-on-github/working-with-advanced-formatting/using-keywords-in-issues-and-pull-requests
[-]Test that all notebooks run[/-][+][MNT] Test that all notebooks run[/+]