I made some local changes to shared Python files in the Library folder but when I run ≤ancloudpush it does not push those changes and when I run ≤ancloudpush--projectLibrary, I get an error that Library is not a Lean project.

Author

David Avraamides

September 2021