Skip to content

github CI: remove tags from container names #1701

github CI: remove tags from container names

github CI: remove tags from container names #1701

Triggered via pull request August 1, 2023 00:32
Status Cancelled
Total duration 45s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Ubuntu 22.04 - GCC - Debug+Coverage
0s
Ubuntu 22.04 - GCC - Debug+Coverage
Ubuntu 22.04 - GCC - Release+Valgrind
0s
Ubuntu 22.04 - GCC - Release+Valgrind
Ubuntu 22.04 - GCC - Release+Sanitizers
0s
Ubuntu 22.04 - GCC - Release+Sanitizers
Ubuntu 22.04 - GCC - All Options Enabled + Documentation
0s
Ubuntu 22.04 - GCC - All Options Enabled + Documentation
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Ubuntu 22.04 - GCC - Debug+Coverage
Canceling since a higher priority waiting request for 'On PRs - Linux Special Builds-cii' exists
Ubuntu 22.04 - GCC - Release+Sanitizers
Canceling since a higher priority waiting request for 'On PRs - Linux Special Builds-cii' exists
Ubuntu 22.04 - GCC - Release+Valgrind
Canceling since a higher priority waiting request for 'On PRs - Linux Special Builds-cii' exists
Ubuntu 22.04 - GCC - All Options Enabled + Documentation
Canceling since a higher priority waiting request for 'On PRs - Linux Special Builds-cii' exists