Skip to content
Create and publish a Docker image

Update develop submodules to heads of develop #64

Sign in to view logs

Update develop submodules to heads of develop

Update develop submodules to heads of develop #64

Triggered via pull request October 5, 2023 09:55
@ed-xmosed-xmos
synchronize #89
ed-xmos:feature/update_develop_submodules
Status Success
Total duration 18s
Artifacts –

docker.yml

on: pull_request
Change detection
7s
Change detection
Build and push Docker image
0s
Build and push Docker image
Fit to window
Zoom out
Zoom in