Skip to content

Update URL following merge into platform of other repos #914

Update URL following merge into platform of other repos

Update URL following merge into platform of other repos #914

Triggered via pull request September 20, 2023 18:57
Status Success
Total duration 24m 4s
Artifacts 4
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
check-freeze-period  /  verify-freeze-period
2s
check-freeze-period / verify-freeze-period
check-merge-commits  /  Block Merge Commits
11s
check-merge-commits / Block Merge Commits
build  /  Upload Event File
2s
build / Upload Event File
Matrix: build / build
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build / Verify Linux: resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/team/ResourceRuleFactory.java#L32
ResourceRuleFactory implements non-API interface IResourceRuleFactory
build / Verify MacOS: resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/team/ResourceRuleFactory.java#L32
ResourceRuleFactory implements non-API interface IResourceRuleFactory
build / Verify Windows: resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/team/ResourceRuleFactory.java#L32
ResourceRuleFactory implements non-API interface IResourceRuleFactory

Artifacts

Produced during runtime
Name Size
Event File Expired
30.2 KB
test-results-macos-latest Expired
1.95 MB
test-results-ubuntu-latest Expired
1.94 MB
test-results-windows-latest Expired
2 MB