Skip to content

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

Add option to abort merge in web UI workspace view

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

Triggered via pull request November 12, 2025 17:03
Status Success
Total duration 1m 46s
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
1.11 MB
sha256:77a83e24dad3cd3c59b126f77e29fc3da0200530ea0d37a587bcfeef8eebc872
test-results-intersystems-git-source-control-CI-x86_64-19305460349
724 KB
sha256:fb287cf3eb262fa69e12fdb28394f4e9622da331a0c56e3c37417f39d5c4a6f0