Skip to content
Build and Test Dafny Standard Libraries

Add --find-project option #2826

Sign in to view logs

Add --find-project option

Add --find-project option #2826

Triggered via pull request June 24, 2024 12:47
@keyboardDrummerkeyboardDrummer
synchronize #5568
keyboardDrummer:findProject
Status Cancelled
Total duration 23s
Artifacts –

standard-libraries.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
build
0s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
This is a scheduled macOS-11 brownout. The macOS-11 environment is deprecated and will be removed on June 28th, 2024.
build
GitHub Actions has encountered an internal error when running your job.