Create and publish a Docker image

Update develop submodules to heads of develop #73

Sign in to view logs

Triggered via pull request October 6, 2023 07:53

synchronize #89

ed-xmos:feature/update_develop_submodules

Status Success

Total duration 17s

Artifacts –

docker.yml

on: pull_request

Change detection

Build and push Docker image