Create and publish a Docker image

Update develop submodules to heads of develop #67

Sign in to view logs

Triggered via pull request October 5, 2023 12:24

synchronize #89

ed-xmos:feature/update_develop_submodules

Status Success

Total duration 20s

Artifacts –

docker.yml

on: pull_request

Change detection

Build and push Docker image