don't set top margin on module header unless it has actually changed #16274
Triggered via pull request
February 8, 2025 18:53
Status
Cancelled
Total duration
1m 19s
Artifacts
–
Annotations
12 errors
Linux_ubuntu:24.10_LLVM19_Release
Canceling since a higher priority waiting request for 'CI-modheader_loop' exists
|
Linux_ubuntu:24.10_LLVM19_Release
The operation was canceled.
|
Windows_UCRT64_Release
Canceling since a higher priority waiting request for 'CI-modheader_loop' exists
|
Windows_UCRT64_Release
The operation was canceled.
|
Linux_ubuntu:24.10_GNU14_Release
Canceling since a higher priority waiting request for 'CI-modheader_loop' exists
|
Linux_ubuntu:24.10_GNU14_Release
The operation was canceled.
|
Linux_ubuntu:24.10_GNU14_Debug
Canceling since a higher priority waiting request for 'CI-modheader_loop' exists
|
Linux_ubuntu:24.10_GNU14_Debug
The operation was canceled.
|
macOS_macos-13_XCode_15.2_Release
Canceling since a higher priority waiting request for 'CI-modheader_loop' exists
|
macOS_macos-13_XCode_15.2_Release
The operation was canceled.
|
macOS_macos-14_XCode_16.1_Release
Canceling since a higher priority waiting request for 'CI-modheader_loop' exists
|
macOS_macos-14_XCode_16.1_Release
The operation was canceled.
|