Merge pull request #6 from Buom01/compilation-notice
Compilation workflow and Jenkins
MERGE COMMIT
GitHub sha: 3558dde8