Skip to content

chore(ci): Add explicit ref for Noir checkout#440

Merged
ludamad merged 1 commit into
masterfrom
phated/noir-ref
May 11, 2023
Merged

chore(ci): Add explicit ref for Noir checkout#440
ludamad merged 1 commit into
masterfrom
phated/noir-ref

Commits

Commits on May 11, 2023