Change name of index file

agda · Sep 13, 2024 · 7cd9de3 · 7cd9de3
1 parent 99c522f
commit 7cd9de3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,7 +17,7 @@ jobs:
         with:
           agda-version: 2.7.0
           stdlib-version: 2.1.1
-          main: Classes
+          main: standard-library-classes
           deploy: ${{ github.ref == 'refs/heads/master' }}
           token: ${{ secrets.GITHUB_TOKEN }}
           ribbon: true

diff --git a/Classes.agda → standard-library-classes.agda b/Classes.agda → standard-library-classes.agda
@@ -1,5 +1,5 @@
 {-# OPTIONS --with-K #-}
-module Classes where
+module standard-library-classes where
 
 -- ** Algebraic structures
 open import Class.Semigroup public