Skip to content

Add option to abort merge in web UI workspace view #1926

Add option to abort merge in web UI workspace view

Add option to abort merge in web UI workspace view #1926

Triggered via pull request November 12, 2025 15:56
Status Success
Total duration 1m 29s
Artifacts 2

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Artifacts

Produced during runtime
Name Size Digest
PreIRISInstallationPackage Expired
1.11 MB
sha256:2dca344f50d3add43d2444d3a413bd14369bb24da13488505d6f90ceb6711686
test-results-intersystems-git-source-control-CI-x86_64-19303535705 Expired
724 KB
sha256:b5a37631e938f5b33f6be6e277614e972819bd207f5b3254d84bd6d1922dff31