Skip to content

Tweak printing of Julia parent types #923

Tweak printing of Julia parent types

Tweak printing of Julia parent types #923

Triggered via pull request October 30, 2024 22:17
Status Cancelled
Total duration 1m 5s
Artifacts

hecke.yml

on: pull_request
generatematrix
54s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in

Annotations

2 errors
generatematrix
Canceling since a higher priority waiting request for 'HeckeCI-refs/pull/1883/merge-true' exists
generatematrix
The operation was canceled.