added fake CI file, which just copies the existing artifacts
Authored by: ingo <> 2020-06-29
Parent: [1e55a9]
Children: [7d5e91][ad74c3]