Skip to content

Try to trigger the assignment workflow for creating zip files. #608

Try to trigger the assignment workflow for creating zip files.

Try to trigger the assignment workflow for creating zip files. #608

Workflow file for this run

on:
- push
jobs:
build-and-test:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@main
- name: Install dependencies
run: |
curl -Ls https://github.com/jgm/pandoc/releases/download/2.11.2/pandoc-2.11.2-1-amd64.deb -o pandoc.deb
sudo dpkg -i pandoc.deb
sudo apt-get install nasm
sudo apt-get install fonts-stix
sudo apt-get install libunistring-dev
- name: Install Racket
uses: Bogdanp/[email protected]
with:
architecture: 'x64'
distribution: 'full'
variant: 'CS'
version: '8.14'
- name: Install a86 and langs
run: |
git clone https://github.com/cmsc430/a86.git
git clone https://github.com/cmsc430/langs.git
raco pkg install --auto a86/
raco pkg install --auto langs/
- name: Build and test
run: |
export LINK_DIR=/usr/lib/x86_64-linux-gnu
# raco pkg install --auto www/
raco make www/main.scrbl
make -C www main
- name: Generate assignment zips
env:
GITHUB_TOKEN: ${{ secrets.PAT_ZIPS_WORKFLOW }}
run: |
curl -X POST \
-H "Accept: application/vnd.github+json" \
-H "Authorization: Bearer $GITHUB_TOKEN" \
https://api.github.com/repos/cmsc430/assignments/actions/workflows/push.yml/dispatches \
-d '{"ref":"main"}'
- name: Archive www
uses: actions/upload-pages-artifact@v3
with:
name: github-pages
path: www/main
deploy:
needs: build-and-test
permissions:
pages: write
id-token: write
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
if: github.ref == 'refs/heads/main'
steps:
- name: Deploy to GitHub pages
id: deployment
uses: actions/deploy-pages@v4