Skip to content

refactor!: Replace unmaintained derivative create with educe #397

refactor!: Replace unmaintained derivative create with educe

refactor!: Replace unmaintained derivative create with educe #397

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

pr_pre-commit.yaml

on: pull_request
Fit to window
Zoom out
Zoom in