cd

.github/workflows/build-and-deploy.yml

@@ -0,0 +1,44 @@
+# Taken from github.com/rymaju
+
+name: Build & Deploy
+
+# Controls when the workflow will run
+on:
+ push:
+ workflow_dispatch:
+
+# A workflow run is made up of one or more jobs that can run sequentially or in parallel
+jobs:
+ build-and-deploy:
+ concurrency: ci-${{ github.ref }} # Recommended if you intend to make multiple deployments in quick succession.
+
+ # The type of runner that the job will run on
+ runs-on: ubuntu-latest
+
+ # Steps represent a sequence of tasks that will be executed as part of the job
+ steps:
+ # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
+ - uses: actions/checkout@v3
+
+ - name: Install Racket
+ uses: Bogdanp/[email protected]
+ with:
+ architecture: 'x64'
+ distribution: 'full'
+ variant: 'CS'
+ version: '8.4'
+
+ - name: Install Pollen
+ run: raco pkg install --auto pollen
+
+ - name: Build and Publish Pollen Source Files
+ run: > 
+ mkdir -p build/small-rust-os &&
+ raco pollen render src && raco pollen render src/small-rust-os &&
+ raco pollen publish src build && raco pollen publish src/small-rust-os build/small-rust-os
+
+ - name: Deploy
+ uses: JamesIves/[email protected]
+ with:
+ branch: gh-pages # The branch the action should deploy to.
+ folder: build # The folder the action should deploy.