Skip to content
Build DafnyRef.pdf

Move standard library into the runtime #15651

Sign in to view logs

Move standard library into the runtime

Move standard library into the runtime #15651

Triggered via pull request December 14, 2023 14:04
@keyboardDrummerkeyboardDrummer
synchronize #4877
keyboardDrummer:replaceableModuleStandardLibrary
Status Failure
Total duration 8m 8s
Artifacts 1

refman.yml

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

Annotations

1 error and 10 warnings
build-refman (ubuntu-20.04)
Process completed with exit code 1.
build-refman (ubuntu-20.04): Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L11455
Unreachable code detected
build-refman (ubuntu-20.04): Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L11196
Unreachable code detected
build-refman (ubuntu-20.04): Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L11375
Unreachable code detected
build-refman (ubuntu-20.04): Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L11218
Unreachable code detected
build-refman (ubuntu-20.04): Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L8915
Unreachable code detected
build-refman (ubuntu-20.04): Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L8954
Unreachable code detected
build-refman (ubuntu-20.04): Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L5472
Unreachable code detected
build-refman (ubuntu-20.04): Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L5486
Unreachable code detected
build-refman (ubuntu-20.04): Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L6484
Unreachable code detected
build-refman (ubuntu-20.04): Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L5200
Unreachable code detected

Artifacts

Produced during runtime
Name Size
DafnyRef Expired
1.42 MB