Skip to content
.github/workflows/ci.yml

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

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 #1619

Run time

Learn about OS pricing on GitHub Actions
Job Run time
diff_lean_files
3s
lean
1m 53s
1m 56s