Skip to content
Build DafnyRef.pdf

Remove usage of opaque from standard library #18728

# to view logs

Remove usage of opaque from standard library

Remove usage of opaque from standard library #18728

Triggered via pull request November 11, 2024 17:39
@keyboardDrummerkeyboardDrummer
synchronize #5781
keyboardDrummer:hideRevealStdLib
Status Failure
Total duration 14s
Artifacts –

refman.yml

on: pull_request
check-deep-tests  /  check-deep-tests
5s
check-deep-tests / check-deep-tests
Matrix: build-refman
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
check-deep-tests / check-deep-tests
No url found for submodule path 'Source/IntegrationTests/TestFiles/LitTests/LitTest/libraries' in .gitmodules
check-deep-tests / check-deep-tests
The process '/usr/bin/git' failed with exit code 128
check-deep-tests / check-deep-tests
The process '/usr/bin/git' failed with exit code 128