Cosmetic change

MrMatAP · MrMatAP · commit 8bbe6f6d3049 · 2021-10-31T17:47:43.000+01:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -13,7 +13,7 @@ env:
 
 #
 # Establish when the workflow is run
-# We do build on every push except when we push onto main (which we ought to be subject to branch protection)
+# We do build on every push except when we push onto main (which ought to be subject to branch protection)
 # We do build whenever a PR onto main is closed (see on) and the code is actually merged (see release job if)
 # Why is that okay?
 # Since we're making a PR, we know from the previous workflow run on push that the repo is okay and the PR

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ env:`
`13`	`13`
`14`	`14`	`#`
`15`	`15`	`# Establish when the workflow is run`
`16`		`-# We do build on every push except when we push onto main (which we ought to be subject to branch protection)`
	`16`	`+# We do build on every push except when we push onto main (which ought to be subject to branch protection)`
`17`	`17`	`# We do build whenever a PR onto main is closed (see on) and the code is actually merged (see release job if)`
`18`	`18`	`# Why is that okay?`
`19`	`19`	`# Since we're making a PR, we know from the previous workflow run on push that the repo is okay and the PR`