"README.md" did not exist on "8fa6da4f438dde5b1afd979d8681b7df4e550b3d"
fixed serialization of semantics
Passed
Matthias Stefan Bodenbenner
created pipeline for commit 26a3ad59
, finished
For master
1 minute 34 seconds, queued for 2 seconds