Update spec's code location

Author: carlostome

.github/workflows/haskell.yml

@@ -510,9 +510,9 @@ jobs:
           echo "Error: IntersectMBO/formal-ledger-specifications SRP tag not found."
           exit 1
         fi
-        git fetch https://github.com/intersectmbo/formal-ledger-specifications.git MAlonzo-code
+        git fetch https://github.com/intersectmbo/formal-ledger-specifications.git master-artifacts
 
         git show -s "$TAG" || { \
-          echo "Commit $TAG was not found on the MAlonzo-code branch of formal-ledger-specifications."
+          echo "Commit $TAG was not found on the master-artifacts branch of formal-ledger-specifications."
           exit 1
         }

CONTRIBUTING.md

@@ -299,7 +299,7 @@ in the [formal-ledger-specifications repo](https://github.com/IntersectMBO/forma
 
 To update the version of the Agda spec that the conformance tests are using:
 
-1. Locate the `MAlonzo-code` branch in the [formal-ledger-specifications repo](https://github.com/IntersectMBO/formal-ledger-specifications)
+1. Locate the `master-artifacts` branch in the [formal-ledger-specifications repo](https://github.com/IntersectMBO/formal-ledger-specifications)
 2. Identify the SHA of the commit that you need, belonging to that branch
 3. In the `cardano-ledger` repository:
     - Update the `cabal.project` file by replacing the `tag` field in the `source-repository-package` stanza with SHA.
@@ -335,13 +335,13 @@ To change the local build directory, redo step 3 _without leaving_ the `nix deve
 
 - As a relative path:
 
-    Cloning the [formal-ledger-specifications repo](https://github.com/IntersectMBO/formal-ledger-specifications) on a `MAlonzo` branch as a sibling folder, e.g., `spec`, of `cardano-leder`:
+    Cloning the [formal-ledger-specifications repo](https://github.com/IntersectMBO/formal-ledger-specifications) on a `*-artifacts` branch as a sibling folder, e.g., `spec`, of `cardano-leder`:
     ```shell
-    git clone -b MAlonzo-code git@github.com:IntersectMBO/formal-ledger-specifications.git spec
+    git clone -b master-artifacts git@github.com:IntersectMBO/formal-ledger-specifications.git spec
     ```
     and using:
     ```
-    ../spec/generated/
+    ../spec/hs
     ```
     in the `cabal.project` file.
 

cabal.project

@@ -13,10 +13,10 @@ repository cardano-haskell-packages
 source-repository-package
   type: git
   location: https://github.com/IntersectMBO/formal-ledger-specifications.git
-  subdir: generated
+  subdir: hs
   -- !WARNING!:
-  -- MAKE SURE THIS POINTS TO A COMMIT IN `MAlonzo-code` BEFORE MERGE!
-  tag: 9b706ae8c332d5ad10def54aa51d4a66836df363
+  -- MAKE SURE THIS POINTS TO A COMMIT IN `*-artifacts` BEFORE MERGE!
+  tag: b10541e6b623fd2e987c249a7434a16fd6d8ce14
 
 -- NOTE: If you would like to update the above,
 -- see CONTRIBUTING.md#to-update-the-referenced-agda-ledger-spec