Skip to content
CI

ci: fix two PRs with same branch name but different forks canceling e… #762

Sign in to view logs

ci: fix two PRs with same branch name but different forks canceling e…

ci: fix two PRs with same branch name but different forks canceling e… #762

Triggered via push July 21, 2025 13:10
@github-merge-queuegithub-merge-queue[bot]
pushed d16e6ff
main
Status Success
Total duration 23m 11s
Artifacts –

ci.yaml

on: push
Matrix: Android
Matrix: Compiletest
Matrix: Difftest
Matrix: Test
Lint
5m 25s
Lint
cargo-deny
1m 12s
cargo-deny
test_success
3s
test_success
Fit to window
Zoom out
Zoom in

Annotations

6 notices
Compiletest (macOS-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Compiletest (macOS-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Test (macOS-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Test (macOS-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Difftest (macOS-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Difftest (macOS-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520