Skip to content

MAINT: Remove unneeded .def files #575

MAINT: Remove unneeded .def files

MAINT: Remove unneeded .def files #575

Triggered via pull request November 15, 2024 14:38
Status Success
Total duration 11m 9s
Artifacts

pr-checklist.yml

on: pull_request
Close all checkboxes before moving from draft
9s
Close all checkboxes before moving from draft
Fit to window
Zoom out
Zoom in