Commit 0bcac746 authored by Dorchies David's avatar Dorchies David
Browse files

ci: automatic push to github

- issue solved with https://stackoverflow.com/questions/63451263/sync-two-git-repositories

Refs #11
parent b244b44d
No related merge requests found
Pipeline #26188 failed with stages
in 1 minute and 38 seconds