Skip to content
Snippets Groups Projects
Commit a2c4937a authored by André Anjos's avatar André Anjos :speech_balloon:
Browse files

[ci] Re-use bob.devtools central CI file; Move deployment script to bob.devtools

parent da963627
Branches
Tags
No related merge requests found
Pipeline #55376 passed
Stage: build
Stage: test
Stage: deploy