mirror of
https://github.com/gsi-upm/senpy
synced 2024-11-22 08:12:27 +00:00
Push latest in the fix-makefiles branch too
This commit is contained in:
parent
d1eca04eeb
commit
701f46b9f1
@ -55,6 +55,7 @@ push-latest:
|
|||||||
only:
|
only:
|
||||||
- master
|
- master
|
||||||
- triggers
|
- triggers
|
||||||
|
- fix-makefiles
|
||||||
|
|
||||||
push-github:
|
push-github:
|
||||||
stage: deploy
|
stage: deploy
|
||||||
|
Loading…
Reference in New Issue
Block a user