Skip to content
pr

Clean up API #275

Sign in to view logs

Clean up API

Clean up API #275

Triggered via push November 17, 2023 02:05
@copy-pr-botcopy-pr-bot[bot]
pushed d2e9bcc
pull-request/395
Status Cancelled
Total duration 32s
Artifacts –

pr.yml

on: push
Compute matrix
Compute matrix
Verify Dev Containers  /  Verify devcontainers
Verify Dev Containers / Verify devcontainers
Doxygen check
Doxygen check
Matrix: ci
Waiting for pending jobs
Verify Dev Containers  /  List devcontainers
Verify Dev Containers / List devcontainers
Matrix: Verify Dev Containers / verify-devcontainers
Waiting for pending jobs
CI success
CI success
Fit to window
Zoom out
Zoom in

Annotations

1 error
pr
Canceling since a higher priority waiting request for 'pr-on-push-from-pull-request/395' exists