Skip to content
Documentation

Merge external PR to dev branch #22

Sign in to view logs

Merge external PR to dev branch

Merge external PR to dev branch #22

Triggered via pull request July 16, 2024 08:36
@JulianTrommerJulianTrommer
opened #13
main
Status Cancelled
Total duration 39s
Artifacts –

Documentation.yml

on: pull_request
build
29s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
The run was canceled by @JulianTrommer.
build
The operation was canceled.