funExt is an equivalence. #2249
Triggered via pull request
November 2, 2023 12:32
mortberg
Status
Cancelled
Total duration
2m 20s
Artifacts
–
Annotations
2 errors
|
test-cubical
The run was canceled by @mortberg.
|
|
test-cubical
The operation was canceled.
|