Skip to content

Backport "Fix expandParam's use of argForParam/isArgPrefixOf." #28500

Backport "Fix expandParam's use of argForParam/isArgPrefixOf."

Backport "Fix expandParam's use of argForParam/isArgPrefixOf." #28500

Triggered via pull request January 31, 2024 15:47
Status Success
Total duration 2h 18m 41s
Artifacts

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

8 warnings
MiMa
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test_sbt
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test_windows_fast
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test_windows_fast
Unable to clean or reset the repository. The repository will be recreated instead.
test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
community_build_a
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
community_build_c
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
community_build_b
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.