Back to pull request #2315

intro_tutorial: Don't initialize agents with an unique_id #3114

Sign in to view logs

Triggered via pull request September 21, 2024 16:30

EwoutH

synchronize #2315

EwoutH:intro_tutorial_upgrade

Status Success

Total duration 2m 10s

Artifacts –

build_lint.yml

on: pull_request

Matrix: build

Annotations

1 warning

The process '/usr/bin/git' failed with exit code 128