Skip to content

Move obvious type piracy from Hecke to Nemo #1645

Move obvious type piracy from Hecke to Nemo

Move obvious type piracy from Hecke to Nemo #1645

Triggered via pull request July 2, 2023 16:24
Status Cancelled
Total duration 1m 18s
Artifacts

CI.yml

on: pull_request
Documentation
1m 3s
Documentation
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

8 errors
test (1.8, windows-latest)
Canceling since a higher priority waiting request for 'Run tests-refs/pull/1501/merge-true' exists
test (1.8, windows-latest)
The operation was canceled.
test (1.8, ubuntu-latest)
The operation was canceled.
Documentation
The operation was canceled.
test (1.8, macOS-latest)
The operation was canceled.
test (~1.9.0-0, ubuntu-latest)
The operation was canceled.
test (1.6, ubuntu-latest)
The operation was canceled.
test (nightly, ubuntu-latest)
The operation was canceled.