Skip to content
Build and deploy the documentation

Merge pull request #3961 from element-hq/quenting/remove-cargo-chef #1803

Sign in to view logs

Merge pull request #3961 from element-hq/quenting/remove-cargo-chef

Merge pull request #3961 from element-hq/quenting/remove-cargo-chef #1803

Triggered via push February 5, 2025 12:04
@sandhosesandhose
pushed e878ec5
main
Status Cancelled
Total duration 15s
Artifacts –

docs.yaml

on: push
Build the documentation
2s
Build the documentation
Deploy the documentation on GitHub Pages
0s
Deploy the documentation on GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build the documentation
Canceling since a higher priority waiting request for 'Build and deploy the documentation-refs/heads/main' exists
Build the documentation
The operation was canceled.