Code

ci: add whitespace check#1881

Code

Draft

Alizter wants to merge 15 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/ci__add_whitespace_checkAlizter/HoTT:ps/rr/ci__add_whitespace_checkCopy head branch name to clipboard

+94-6

Commits

Commits on Mar 6, 2024

• ci: add whitespace check

  Show description for 3510946
  Alizter

  committed
  3510946

  Copy full SHA for 3510946

• add script to remove trailing whitespace

  Show description for e561398
  Alizter

  committed
  e561398

  Copy full SHA for e561398

• add script to fix end newlines

  Show description for 85fe59a
  Alizter

  committed
  85fe59a

  Copy full SHA for 85fe59a

• fix end newlines in repo

  Show description for 07f2da5
  Alizter

  committed
  07f2da5

  Copy full SHA for 07f2da5

• ci: add per-commit whitespace checks

  Show description for 7690d50
  Alizter

  committed
  7690d50

  Copy full SHA for 7690d50

• check entire diff rather than each commit

  Show description for b752ab6
  Alizter

  committed
  b752ab6

  Copy full SHA for b752ab6

• fix

  Show description for 7047659
  Alizter

  committed
  7047659

  Copy full SHA for 7047659

• REMOVE: add some superfluous whitespace

  Show description for 67ab29e
  Alizter

  committed
  67ab29e

  Copy full SHA for 67ab29e

• try to fix check

  Show description for 5ef0950
  Alizter

  committed
  5ef0950

  Copy full SHA for 5ef0950

• fx

  Show description for 31e7d1f
  Alizter

  committed
  31e7d1f

  Copy full SHA for 31e7d1f

• fx`

  Show description for ccdbf15
  Alizter

  committed
  ccdbf15

  Copy full SHA for ccdbf15

• fx

  Show description for 45e467b
  Alizter

  committed
  45e467b

  Copy full SHA for 45e467b

• fx

  Show description for e524240
  Alizter

  committed
  e524240

  Copy full SHA for e524240

• fx

  Show description for 8ea5557
  Alizter

  committed
  8ea5557

  Copy full SHA for 8ea5557

• fix

  Show description for dee36b9
  Alizter

  committed
  dee36b9

  Copy full SHA for dee36b9