Verified Commit a5fcd989 authored by Jakob Moser's avatar Jakob Moser
Browse files

Add lxml so the typechecker in the pipeline hopefully works

parent 9bd9b177