REPL: Add back :silent command
#33677
Triggered via pull request
December 19, 2024 14:52
natsukagami
Status
Cancelled
Total duration
4m 52s
Artifacts
–
ci.yaml
on: pull_request
test_non_bootstrapped
0s
test
4m 18s
MiMa
4m 20s
community_build_a
4m 22s
community_build_b
4m 21s
community_build_c
4m 20s
test_sbt
4m 17s
test_java8
0s
build-sdk-package
/
build
4m 26s
build-msi-package
/
build
test_windows_full
0s
test_scala2_library_tasty
0s
test_windows_fast
4m 21s
Matrix: publish_nightly
test-msi-package
/
test
publish_release
0s
test-chocolatey-package
/
test
open_issue_on_failure
0s
Annotations
16 errors
|
test
Canceling since a higher priority waiting request for 'Dotty-refs/pull/22248/merge' exists
|
|
test
The operation was canceled.
|
|
test_windows_fast
Canceling since a higher priority waiting request for 'Dotty-refs/pull/22248/merge' exists
|
|
test_windows_fast
The operation was canceled.
|
|
MiMa
Canceling since a higher priority waiting request for 'Dotty-refs/pull/22248/merge' exists
|
|
MiMa
The operation was canceled.
|
|
test_sbt
Canceling since a higher priority waiting request for 'Dotty-refs/pull/22248/merge' exists
|
|
test_sbt
The operation was canceled.
|
|
community_build_c
Canceling since a higher priority waiting request for 'Dotty-refs/pull/22248/merge' exists
|
|
community_build_c
The operation was canceled.
|
|
community_build_b
Canceling since a higher priority waiting request for 'Dotty-refs/pull/22248/merge' exists
|
|
community_build_b
The operation was canceled.
|
|
community_build_a
Canceling since a higher priority waiting request for 'Dotty-refs/pull/22248/merge' exists
|
|
community_build_a
The operation was canceled.
|
|
build-sdk-package / build
Canceling since a higher priority waiting request for 'Dotty-refs/pull/22248/merge' exists
|
|
build-sdk-package / build
The operation was canceled.
|