Skip to content
Snippets Groups Projects
Commit dc4446e0 authored by Michi Hostettler's avatar Michi Hostettler :coffee:
Browse files

Merge branch 'patch-pipeline' into 'master' 

Pin mypy to the previous release until we have addressed the issue seen

See merge request !14
parents 6c14a4df 24619109
No related branches found
No related tags found
1 merge request!14Pin mypy to the previous release until we have addressed the issue seen
Pipeline #4850635 passed
Stage: build
Stage: test