Build and Test Dafny Runtimes

Isolate paths #8867

Sign in to view logs

Triggered via pull request October 24, 2024 15:09

keyboardDrummer

synchronize #5832

keyboardDrummer:isolatePaths

Status Cancelled

Total duration 16s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests

Annotations

2 errors

check-deep-tests / check-deep-tests

Canceling since a higher priority waiting request for 'Build and Test Dafny Runtimes-refs/pull/5832/merge' exists

check-deep-tests / check-deep-tests

The operation was canceled.