Skip to content
nix

cli: add --tool=<name> option to diff/merge editing commands #101

Sign in to view logs

cli: add --tool=<name> option to diff/merge editing commands

cli: add --tool=<name> option to diff/merge editing commands #101

Triggered via push March 3, 2024 16:33
@yujayuja
pushed 7ce25f8
main
Status Success
Total duration 4m 43s
Artifacts –

build-nix.yml

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