Create and publish a Docker image

Update develop submodules to heads of develop #65

Sign in to view logs

Triggered via pull request October 5, 2023 11:28

synchronize #89

ed-xmos:feature/update_develop_submodules

Status Success

Total duration 15s

Artifacts –

docker.yml

on: pull_request

Change detection

Build and push Docker image