Skip to content

merge_tools: clean up Diff/MergeEditor interface #42

merge_tools: clean up Diff/MergeEditor interface

merge_tools: clean up Diff/MergeEditor interface #42

Triggered via pull request March 2, 2024 03:44
Status Success
Total duration 15m 33s
Artifacts

build-nix.yml

on: pull_request
Matrix: flake check
Fit to window
Zoom out
Zoom in