Dev env instructions

MRG: add `--set-name` to `sig intersect` and `sig subtract` #5205

Sign in to view logs

Triggered via pull request May 15, 2024 14:25

ctb

synchronize #3162

provide_name_on_sig

Status Success

Total duration 19m 23s

Artifacts –

dev_envs.yml

on: pull_request

Matrix: nix