Merge branch 'build/run-all-push' into 'master'

GitHub runs CI on all push to server, no only with MR

See merge request feng/training/material!303

Author: leogermond

.github/workflows/main.yaml

@@ -2,11 +2,7 @@ name: CI
 
 # Controls when the action will run. Triggers the workflow on push or pull request
 # events but only for the master branch
-on:
-  push:
-    branches: [ master ]
-  pull_request:
-    branches: ['**']
+on: push
 
 jobs:
   List-Courses: