Skip to content
docs-publish

[Backend] Updating identifiers when the diagram is modified #72

Sign in to view logs

[Backend] Updating identifiers when the diagram is modified

[Backend] Updating identifiers when the diagram is modified #72

Triggered via pull request June 10, 2024 21:40
@cptanalatristecptanalatriste
opened #479
438-user-story-standardised-and-immutable-identifier-assignment-for-assurance-case-elements
Status Cancelled
Total duration 39s
Artifacts –

docs-publish.yaml

on: pull_request
Format
19s
Format
docs
29s
docs
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Format
Canceling since a higher priority waiting request for 'docs-publish-refs/pull/479/merge' exists
docs
Canceling since a higher priority waiting request for 'docs-publish-refs/pull/479/merge' exists
docs
The operation was canceled.