dev #12

Merged
chacha merged 2 commits from dev into master 2023-03-19 20:53:02 +01:00

2 Commits

Author SHA1 Message Date
cclecle
5eb2f1c5cf fix: pipeline 2023-03-19 19:50:23 +00:00
cclecle
65927077aa fix: git credentials for pushing 2023-03-19 19:49:57 +00:00