Skip to content

Fix #18234: Warn of identifiers with $ in their name #25944

Fix #18234: Warn of identifiers with $ in their name

Fix #18234: Warn of identifiers with $ in their name #25944

Triggered via pull request October 8, 2023 22:16
Status Failure
Total duration 4m 40s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yaml

on: pull_request
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

7 errors and 1 warning
test_windows_fast
Process completed with exit code 1.
test_sbt
Process completed with exit code 1.
MiMa
Process completed with exit code 1.
test
Process completed with exit code 1.
community_build_a
Process completed with exit code 1.
community_build_b
Process completed with exit code 1.
community_build_c
Process completed with exit code 1.
test_windows_fast
Unable to clean or reset the repository. The repository will be recreated instead.