Skip to content

refactor: use create_justification in the quint specification as in the informal spec #1405

refactor: use create_justification in the quint specification as in the informal spec

refactor: use create_justification in the quint specification as in the informal spec #1405

Triggered via pull request November 27, 2024 14:17
Status Failure
Total duration 5m 2s
Artifacts

rust.yml

on: pull_request
check-build-test
4m 51s
check-build-test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
check-build-test
Process completed with exit code 1.
check-build-test
Failed to save: Unable to reserve cache with key cargo-install-cargo-deny-0.16.2-bac9f60b2f4a70890369, another job may be creating this cache. More details: {"$id":"1","innerException":null,"message":"Request was blocked due to exceeding usage of resource 'Count' in namespace ''.","typeName":"Microsoft.TeamFoundation.Framework.Server.RequestBlockedException, Microsoft.TeamFoundation.Framework.Server","typeKey":"RequestBlockedException","errorCode":0,"eventId":3000}