What is the correct procedure for using local libraries in Workbench?

That's a special case. For cloud compile only project.properties, .ino, .h, .cpp & .c files are uploaded to the cloud. Your .hpp file will be left behind.
Before Libraries v2.0 you could nominate extra files via a spark.include or exclude via spark.ignore files but that option hasn't been carried over (unfortunately).

2 Likes