Skip to content
Permalink

Comparing changes

This is a direct comparison between two commits made in this repository or its related repositories. View the default comparison for this range or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: HoTT/Coq-HoTT
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: f7f317f0340c0981327e17b4462af7e32d11a88d
Choose a base ref
..
head repository: HoTT/Coq-HoTT
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: de57facabb507ae584e344158be8bcbb03533cbc
Choose a head ref
Showing with 1 addition and 1 deletion.
  1. +1 −1 .github/workflows/whitespace.yml
2 changes: 1 addition & 1 deletion .github/workflows/whitespace.yml
View file
Original file line number Diff line number Diff line change
@@ -34,4 +34,4 @@ jobs:
exit 1
fi
fi
done < <(find . -type f -exec printf "%s\n" {} +)
done < <(git ls-files)