Merge remote-tracking branch 'origin/master' into issue-89-better-collateral

IAmPara0x · IAmPara0x · commit b46a679b4434 · 2022-07-13T14:01:32.000+05:30
diff --git a/flake.nix b/flake.nix
@@ -412,7 +412,5 @@
       checks = perSystem (system: self.flake.${system}.checks // {
         formatCheck = formatCheckFor system;
       });
-
-      herculesCI.ciSystems = [ "x86_64-linux" ];
     };
 }

Original file line number	Diff line number	Diff line change
`@@ -412,7 +412,5 @@`
`412`	`412`	`checks = perSystem (system: self.flake.${system}.checks // {`
`413`	`413`	`formatCheck = formatCheckFor system;`
`414`	`414`	`});`
`415`		`-`
`416`		`- herculesCI.ciSystems = [ "x86_64-linux" ];`
`417`	`415`	`};`
`418`	`416`	`}`