Skip to content
.github/workflows/ci.yml

Skip lean CI if the lean files did not change #1615

Sign in to view logs

Skip lean CI if the lean files did not change

Skip lean CI if the lean files did not change #1615

This job was cancelled