Skip to content

refactor!: Replace unmaintained derivative create with educe #395

refactor!: Replace unmaintained derivative create with educe

refactor!: Replace unmaintained derivative create with educe #395

Triggered via pull request November 18, 2024 14:01
Status Success
Total duration 3m 12s
Artifacts

pr_pre-commit.yaml

on: pull_request
Fit to window
Zoom out
Zoom in