Skip to content

Update of GitHub CI file

Luis Aleixo requested to merge feature/github_ci into master

Following !502 (merged) the GitHub CI file had to be updated to reflect the changes in the architecture

Merge request reports