Skip to content
Dotty

Deprecation warnings for old syntax: with as a type operator #26410

Sign in to view logs

Deprecation warnings for old syntax: with as a type operator

Deprecation warnings for old syntax: with as a type operator #26410

Triggered via pull request November 3, 2023 16:00
@nicolasstuckinicolasstucki
synchronize #18837
dotty-staging:deprecate-all-syntax
Status Failure
Total duration 2h 56m 22s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yaml

on: pull_request
test_non_bootstrapped
0s
test_non_bootstrapped
test
41s
test
MiMa
39s
MiMa
community_build_a
38s
community_build_a
community_build_b
1m 26s
community_build_b
community_build_c
44s
community_build_c
test_sbt
52s
test_sbt
test_java8
0s
test_java8
test_windows_full
0s
test_windows_full
test_windows_fast
20m 3s
test_windows_fast
publish_nightly
0s
publish_nightly
publish_release
0s
publish_release
nightly_documentation
0s
nightly_documentation
open_issue_on_failure
0s
open_issue_on_failure
Fit to window
Zoom out
Zoom in

Annotations

30 errors and 1 warning
test_windows_fast
Process completed with exit code 1.
community_build_a
repository 'https://github.com/lampepfl/dotty/' not found
community_build_a
repository 'https://github.com/lampepfl/dotty/' not found
community_build_a
RPC failed; HTTP 404 curl 22 The requested URL returned error: 404
community_build_a
the remote end hung up unexpectedly
community_build_a
The process '/usr/bin/git' failed with exit code 128
MiMa
repository 'https://github.com/lampepfl/dotty/' not found
MiMa
RPC failed; HTTP 404 curl 22 The requested URL returned error: 404
MiMa
the remote end hung up unexpectedly
MiMa
repository 'https://github.com/lampepfl/dotty/' not found
MiMa
The process '/usr/bin/git' failed with exit code 128
community_build_b
repository 'https://github.com/lampepfl/dotty/' not found
community_build_b
repository 'https://github.com/lampepfl/dotty/' not found
community_build_b
RPC failed; HTTP 404 curl 22 The requested URL returned error: 404
community_build_b
the remote end hung up unexpectedly
community_build_b
repository 'https://github.com/lampepfl/dotty/' not found
community_build_b
repository 'https://github.com/lampepfl/dotty/' not found
community_build_b
The process '/usr/bin/git' failed with exit code 128
test
repository 'https://github.com/lampepfl/dotty/' not found
test
repository 'https://github.com/lampepfl/dotty/' not found
test
repository 'https://github.com/lampepfl/dotty/' not found
test
The process '/usr/bin/git' failed with exit code 128
community_build_c
repository 'https://github.com/lampepfl/dotty/' not found
community_build_c
repository 'https://github.com/lampepfl/dotty/' not found
community_build_c
repository 'https://github.com/lampepfl/dotty/' not found
community_build_c
The process '/usr/bin/git' failed with exit code 128
test_sbt
repository 'https://github.com/lampepfl/dotty/' not found
test_sbt
repository 'https://github.com/lampepfl/dotty/' not found
test_sbt
repository 'https://github.com/lampepfl/dotty/' not found
test_sbt
The process '/usr/bin/git' failed with exit code 128
test_windows_fast
Unable to clean or reset the repository. The repository will be recreated instead.