22.04 runner. Small cleanups.

Author: joseph-hellerstein

.github/workflows/github-actions.yml

@@ -3,7 +3,7 @@ on: [push]
 jobs:
   Run-tests:
     #runs-on: ubuntu-latest
-    #runs-on: Ubuntu 20.04
+    #runs-on: ubuntu-20.04
     runs-on: ubuntu-22.04
     steps:
     - uses: actions/checkout@v3