Skip to content

Update docs with glosario usage #16

Update docs with glosario usage

Update docs with glosario usage #16

Triggered via pull request August 7, 2025 20:52
Status Cancelled
Total duration 26s
Artifacts 1

docker_pr_receive.yaml

on: pull_request
Check If We Need {renv}
3s
Check If We Need {renv}
Preflight: md-outputs exists?
3s
Preflight: md-outputs exists?
Grab renv.lock hash
3s
Grab renv.lock hash
Record PR number
8s
Record PR number
Build markdown source files if valid
4s
Build markdown source files if valid
Trigger PR Checks
0s
Trigger PR Checks
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build markdown source files if valid
The operation was canceled.
Build markdown source files if valid
Canceling since a higher priority waiting request for refs/pull/243/merge exists
Bot: Receive Pull Request
Canceling since a higher priority waiting request for refs/pull/243/merge exists

Artifacts

Produced during runtime
Name Size Digest
pr Expired
124 Bytes
sha256:047b7d0927bd4431aa08798a6b8ccfb4f95198086840d406cadcdf06db236930