Skip to content
GitLab
Explore
Sign in
Commit
4082b185
authored
Mar 06, 2019
by
Andreas Klöckner
Browse files
Merge branch 'allow-ci-failure-in-pylint' into 'master'
Allow CI failure in Pylint See merge request
inducer/pymbolic!30
parents
ab5a3d1b
7089fb7c
Pipeline
#16400
passed with warnings with stage
in 5 minutes and 50 seconds
Changes
1
Pipelines
2