Skip to content

Backport "Fix TASTy source position printer" to LTS #31059

Backport "Fix TASTy source position printer" to LTS

Backport "Fix TASTy source position printer" to LTS #31059

Triggered via pull request June 25, 2024 10:46
Status Skipped
Total duration 7s
Artifacts

ci.yaml

on: pull_request
test_non_bootstrapped
0s
test_non_bootstrapped
test
0s
test
MiMa
0s
MiMa
community_build_a
0s
community_build_a
community_build_b
0s
community_build_b
community_build_c
0s
community_build_c
test_sbt
0s
test_sbt
test_java8
0s
test_java8
test_windows_full
0s
test_windows_full
test_windows_fast
0s
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