Create and publish a Docker image

Update develop submodules to heads of develop #68

Sign in to view logs

Triggered via pull request October 5, 2023 12:26

synchronize #89

ed-xmos:feature/update_develop_submodules

Status Success

Total duration 21s

Artifacts –

docker.yml

on: pull_request

Change detection

Build and push Docker image