Skip to content
Generate source index

Merge pull request #2022 from jere344/dev-1 #412

Sign in to view logs

Merge pull request #2022 from jere344/dev-1

Merge pull request #2022 from jere344/dev-1 #412

Triggered via push August 9, 2023 13:45
@dipu-bddipu-bd
pushed 8e59cf5
dev
Status Cancelled
Total duration 1m 1s
Artifacts –

index-gen.yml

on: push
index_gen
51s
index_gen
Fit to window
Zoom out
Zoom in

Annotations

2 errors
index_gen
Canceling since a higher priority waiting request for 'Generate source index-refs/heads/dev' exists
index_gen
The operation was canceled.