minor fixes (#1345) #706

Sign in to view logs

Triggered via push October 27, 2023 05:35

JinZr

master

Status Cancelled

Total duration 39s

Artifacts –

build-doc.yml

on: push

Matrix: build-doc

Annotations

1 error

build-doc (ubuntu-latest, 3.8)

Canceling since a higher priority waiting request for 'build_doc-refs/heads/master' exists