Skip to content

Rename Irmin.Node.S.effect type to read_effect #638

Rename Irmin.Node.S.effect type to read_effect

Rename Irmin.Node.S.effect type to read_effect #638

Triggered via pull request October 10, 2024 12:57
Status Success
Total duration 22s
Artifacts

git.yml

on: pull_request
block-fixup
11s
block-fixup
Fit to window
Zoom out
Zoom in