Commit d4abfd54 authored by Dorchies David's avatar Dorchies David
Browse files

ci: automatic push to github

- issue existing remote github (don't know how it is persistent between 2 pipelines)

Refs #11
parent 6881092e
No related merge requests found
Pipeline #26201 failed with stages
in 3 minutes and 6 seconds