Merge branch 'main' into gh-pages

cmsc430 · Jan 28, 2024 · c4d49c0 · c4d49c0
2 parents a23ca50 + 56f94a6
commit c4d49c0
Show file tree

Hide file tree

Showing 626 changed files with 35,582 additions and 14,282 deletions.
diff --git a/.github/workflows/langs.yml b/.github/workflows/langs.yml
@@ -6,17 +6,21 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [ubuntu-18.04, ubuntu-20.04]
+        os: [ubuntu-20.04, ubuntu-22.04]
         racket-variant: ['BC', 'CS']
-        racket-version: ['7.8', '7.9', '8.0', '8.1', '8.2']
+        racket-version: ['8.6', '8.8']
     name: Test on Racket ${{ matrix.racket-variant }} ${{ matrix.racket-version }} on ${{ matrix.os }}	
     steps:
     - name: Checkout
       uses: actions/checkout@main
     - name: Install nasm
       run: sudo apt-get install nasm
+    - name: Install libunistring
+      run: |
+        sudo apt-get install libunistring2
+        sudo apt-get install libunistring-dev
     - name: Install Racket
-      uses: Bogdanp/setup-racket@v1.5
+      uses: Bogdanp/setup-racket@v1.10
       with:
         architecture: 'x64'
         distribution: 'full'
@@ -25,8 +29,13 @@ jobs:
     - name: Version info
       run: |
         nasm --version
-        gcc --version        
+        gcc --version
     - name: Install langs package
-      run: raco pkg install langs/
+      run: |
+        raco pkg install --auto ziggy/
+        raco pkg install langs/
     - name: Run tests
-      run: raco test -p langs
+      run: |
+        raco test -p ziggy
+        xvfb-run raco test -p langs
+        raco test -c outlaw
diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
@@ -1,5 +1,5 @@
 on:
-  - push
+  - workflow_dispatch
 
 jobs:
   build-and-test:

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -1,5 +1,5 @@
 on:
-  - push
+  - workflow_dispatch
 
 jobs:
   build-and-test:
@@ -13,15 +13,17 @@ jobs:
         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/setup-racket@v1.5
+      uses: Bogdanp/setup-racket@v1.10
       with:
         architecture: 'x64'
         distribution: 'full'
         variant: 'CS'
-        version: '8.1'
+        version: '8.6'
     - name: Build and test
       run: |
+        export LINK_DIR=/usr/lib/x86_64-linux-gnu
         raco pkg install langs/
         raco make www/main.scrbl
         raco test langs
@@ -45,7 +47,7 @@ jobs:
       uses: plum-umd/github-actions-rsync@master
       with:
         RSYNC_OPTIONS: -rvzp
-        RSYNC_TARGET: /fs/www/class/fall2021/
+        RSYNC_TARGET: /fs/www/class/fall2022/
         RSYNC_SOURCE: cmsc430
       env:
         SSH_PRIVATE_KEY: ${{secrets.SSH_PRIVATE_KEY}}

diff --git a/README.md b/README.md
@@ -7,10 +7,8 @@ University of Maryland, College Park.
 
 The current instance of this course is:
 
-* http://www.cs.umd.edu/class/fall2021/cmsc430/
+* http://www.cs.umd.edu/class/summer2023/cmsc430/
 
-Copyright © 2019 David Van Horn
-
-Copyright © 2020 David Van Horn and José Manuel Calderón Trilla
+Copyright © David Van Horn and José Manuel Calderón Trilla and Leonidas Lampropoulos
 
 Licensed under the Academic Free License version 3.0