Merge branch 'ci_push' into 'master'

Push artefact to school.picasoft.net / update README

See merge request picasoft/apis/h19/init/Git!3
2 jobs for master in 1 minute (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #406025
docker
beamer-build

00:00:25

 
  Deploy
passed #406026
linux
synchronize

00:00:35