Skip to content

Remove ci/pr/required-check from bors.toml#4923

Merged
iohk-bors[bot] merged 1 commit intomasterfrom newhoggy/remove-ci/pr/required-checkMar 1, 2023

Commits

Commits on Mar 1, 2023