Back to pull request #5761

Merge branch 'master' into ExtrDisc #36432

Sign in to view logs

Triggered via push July 27, 2023 07:47

dagurtomas

ExtrDisc

Status Success

Total duration 1h 24m 28s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)