Skip to content

Merge pull request #2953 from quantified-uncertainty/no-settings-tooltip #7146

Merge pull request #2953 from quantified-uncertainty/no-settings-tooltip

Merge pull request #2953 from quantified-uncertainty/no-settings-tooltip #7146

Triggered via push January 10, 2024 20:11
Status Cancelled
Total duration 21s
Artifacts

ci.yml

on: push
Build, test, lint
7s
Build, test, lint
Coverage
6s
Coverage
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Coverage
Canceling since a higher priority waiting request for 'ci-coverage-refs/heads/main' exists
Coverage
The operation was canceled.
Build, test, lint
Canceling since a higher priority waiting request for 'ci-build-test-lint-refs/heads/main' exists
Build, test, lint
The operation was canceled.