Skip to content
Snippets Groups Projects

Fix typing of floor/ceil

Passed
Frederik Hennig created pipeline for commit d93c549c
, finished
1 related merge request: !406 Fix typing of floor/ceil
13 jobs 30 minutes 22 seconds, queued for 1 seconds