Read and write latest versions to a file to avoid API calls.

GitHub Actions run in virtual machines that can easily be rate-
limited when using the GitHub API. There's no way to know if the
current machine has made requests recently, so this leads to flaky
failures. Instead, we'll use an action to write the latest versions
to disk and use that in subsequent runs.

Author: th-awake

.github/workflows/sync.yml

@@ -24,6 +24,7 @@ jobs:
 
       - name: Commit files
         run: |
+          git pull
           git config --local user.email "[email protected]"
           git config --local user.name "GitHub Action"
           git commit -m "Sync repository with latest tooling" -a

dist/versions.json

@@ -1 +1 @@
-{"purs":"0.13.8","spago":"0.15.3","purty":"6.2.0","zephyr":"0.3.2"}
+{ "purs": "0.13.8", "spago": "0.15.3", "purty": "6.2.0", "zephyr": "0.3.2" }