From 4edad29424cb193bf528f0e0802b488306a3d627 Mon Sep 17 00:00:00 2001
From: Andy <andys8@users.noreply.github.com>
Date: Thu, 31 Aug 2023 16:57:41 +0200
Subject: [PATCH] Add publish date on CI (#456)

* Add publish date to book (on website)

* Separate section and print PS version

* PureScript available in mdbook build
---
 .github/workflows/mdbook.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/mdbook.yml b/.github/workflows/mdbook.yml
index 18946983c..95875aa13 100644
--- a/.github/workflows/mdbook.yml
+++ b/.github/workflows/mdbook.yml
@@ -16,6 +16,17 @@ jobs:
         with:
           mdbook-version: 'latest'
 
+      - name: Set up PureScript toolchain
+        uses: purescript-contrib/setup-purescript@main
+
+      - name: Add version section
+        run: |
+          version=$(purs --version)
+          today=$(date -I)
+          echo -e "\n## Release\n" >> README.md
+          echo -e "PureScript v$version\n" >> README.md
+          echo -e "Published on $today" >> README.md
+
       - run: mdbook build
 
       - name: Deploy