Generate Ubuntu and macOS workflows.

Author: Zimmi48

.github/workflows/nix-action-8.10-macos.yml

@@ -2906,7 +2906,7 @@ jobs:
       name: Building/fetching current CI target
       run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.10" --argstr
         job "zorns-lemma"
-name: Nix CI for bundle 8.10
+name: Nix CI for bundle 8.10 on platform ubuntu-latest
 'on':
   pull_request:
     paths:

.github/workflows/nix-action-8.10.yml renamed to .github/workflows/nix-action-8.10-ubuntu.yml

@@ -3227,7 +3227,7 @@ jobs:
       name: Building/fetching current CI target
       run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
         job "zorns-lemma"
-name: Nix CI for bundle 8.11
+name: Nix CI for bundle 8.11 on platform ubuntu-latest
 'on':
   pull_request:
     paths:

.github/workflows/nix-action-8.11-macos.yml

@@ -3416,7 +3416,7 @@ jobs:
       name: Building/fetching current CI target
       run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
         job "zorns-lemma"
-name: Nix CI for bundle 8.12
+name: Nix CI for bundle 8.12 on platform ubuntu-latest
 'on':
   pull_request:
     paths:

.github/workflows/nix-action-8.11.yml renamed to .github/workflows/nix-action-8.11-ubuntu.yml

@@ -3620,7 +3620,7 @@ jobs:
       name: Building/fetching current CI target
       run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
         job "zorns-lemma"
-name: Nix CI for bundle 8.13
+name: Nix CI for bundle 8.13 on platform ubuntu-latest
 'on':
   pull_request:
     paths:

.github/workflows/nix-action-8.12-macos.yml

@@ -3206,7 +3206,7 @@ jobs:
       name: Building/fetching current CI target
       run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
         job "zorns-lemma"
-name: Nix CI for bundle 8.14
+name: Nix CI for bundle 8.14 on platform ubuntu-latest
 'on':
   pull_request:
     paths: