fix CI (#3)

* fix CI * more typos
HuStmpHrrr · Jul 24, 2024 · 1fdbd3f · 1fdbd3f
1 parent 70d0676
commit 1fdbd3f
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
@@ -2,10 +2,10 @@ name: Ubuntu build
 on:
   push:
     branches:
-      - master
+      - main
   pull_request:
     branches:
-      - master
+      - main
 
 ########################################################################
 ##
@@ -52,12 +52,12 @@ env:
   AGDA: agda --auto-inline -Werror +RTS -M6G -H3.5G -A128M -RTS -i . -i src/
 
 jobs:
-  test-categories:
+  test-library:
     runs-on: ubuntu-latest
     steps:
 
       # By default github actions do not pull the repo
-      - name: Checkout agda-categories
+      - name: Checkout mech-type-theories
         uses: actions/checkout@v4
         with:
           submodules: recursive