Skip to content

flake.nix: only run membenches on merge commits#3901

Merged
Jimbo4350 merged 1 commit intomasterfrom membenches-only-borsMay 24, 2022

Commits

Commits on May 24, 2022