Skip to content

Move obvious type piracy from Hecke to Nemo #1625

Move obvious type piracy from Hecke to Nemo

Move obvious type piracy from Hecke to Nemo #1625

Triggered via pull request June 28, 2023 14:07
Status Failure
Total duration 14m 18s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

CI.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

6 errors
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 (nightly, ubuntu-latest)
Process completed with exit code 1.
test (1.8, 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.