Move obvious type piracy from Hecke to Nemo #1633
lgoettgens
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
CI.yml
on: pull_request
Documentation
3m 36s
Matrix: test
Annotations
6 errors
|
test (nightly, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.8, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.6, ubuntu-latest)
Process completed with exit code 1.
|
|
test (~1.9.0-0, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.8, macOS-latest)
Process completed with exit code 1.
|
|
test (1.8, windows-latest)
Process completed with exit code 1.
|