Skip to content

GitLab

GitLab update scheduled for Friday, January 21th between 08:15 and 08:45 CET. If unpleasant, please contact René or Martin.

move name resolution methods, externalize additional names, fix naming problem... 

move name resolution methods, externalize additional names, fix naming problem of the unresolved interface
1 job for better-api-generation in 2 minutes and 58 seconds
8a5cec44
1 related merge request: !13 Better api generation
Status Name Job ID Coverage
  Build
passed test #13025

00:02:58