Skip to content

Add ability to subsume default definitions #816

Add ability to subsume default definitions

Add ability to subsume default definitions #816

Triggered via pull request October 29, 2024 18:25
Status Cancelled
Total duration 2m 42s
Artifacts

CI.yml

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

Annotations

2 errors
mypy
Process completed with exit code 2.
benchmark
Canceling since a higher priority waiting request for 'refs/pull/228/merge' exists