Skip to content

Rename type_def to typedef for consistency with opdef; docstring fixes #153

Rename type_def to typedef for consistency with opdef; docstring fixes

Rename type_def to typedef for consistency with opdef; docstring fixes #153

Triggered via pull request August 3, 2023 12:35
Status Success
Total duration 13s
Artifacts

drop-cache.yml

on: pull_request
cleanup
5s
cleanup
Fit to window
Zoom out
Zoom in