lean-matrix-cookbook icon indicating copy to clipboard operation
lean-matrix-cookbook copied to clipboard

Published 20 hours ago • verified publisher icon eric-wieser

404 when clicking the progress bar

Open utensil opened this issue 3 months ago • 0 comments

Clicking on the progress bar goes to URLs like https://github.com/eric-wieser/lean-matrix-cookbook/blob/1ef3514608dab634404e8cb0eb94160dc670f799/lib/MatrixCookbook/1Basic.lean#L72-L73 which is 404 and not the same as the new directory structure which doesn't have a lib. A few months ago this works as expected.

utensil avatar Mar 18 '24 05:03 utensil