Merge branch '117-sync-shared-global-ids' into 'main' #1478

Sign in to view logs

Triggered via push August 14, 2024 11:35

greenrobot-team

main

Status Success

Total duration 2m 8s

Artifacts 1

lint.yml

on: push

Annotations

1 warning

Failed to remove 'http.https://github.com/.extraheader' from the git config

Artifacts

Produced during runtime

Name	Size
CoverageReport	972 KB