Skip to content

merge upstream

merge upstream #6

Triggered via push January 19, 2024 03:59
Status Cancelled
Total duration 3m 52s
Artifacts 4

docs.yml

on: push
build-rust-doc
7s
build-rust-doc
build-java-doc
18s
build-java-doc
build-nodejs-doc
20s
build-nodejs-doc
build-python-doc
30s
build-python-doc
build-c-doc
45s
build-c-doc
build-lua-doc
7s
build-lua-doc
build-haskell-doc
1m 22s
build-haskell-doc
build-cpp-doc
37s
build-cpp-doc
build-ocaml-doc
18s
build-ocaml-doc
build-website
0s
build-website
Fit to window
Zoom out
Zoom in

Annotations

10 errors
build-nodejs-doc
Canceling since a higher priority waiting request for 'Docs-refs/heads/main-push' exists
build-ocaml-doc
The operation was canceled.
build-rust-doc
Canceling since a higher priority waiting request for 'Docs-refs/heads/main-push' exists
build-rust-doc
A task was canceled.
build-cpp-doc
Canceling since a higher priority waiting request for 'Docs-refs/heads/main-push' exists
build-cpp-doc
The operation was canceled.
build-haskell-doc
Canceling since a higher priority waiting request for 'Docs-refs/heads/main-push' exists
build-haskell-doc
The operation was canceled.
build-python-doc
Canceling since a higher priority waiting request for 'Docs-refs/heads/main-push' exists
build-python-doc
The operation was canceled.

Artifacts

Produced during runtime
Name Size
C-docs Expired
1.02 MB
java-docs Expired
699 KB
lua-docs Expired
18.2 KB
nodejs-docs Expired
646 KB