diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cc66c0d..7c2fe3b 100644
--- 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 b/standard-library-classes.agda
similarity index 94%
rename from Classes.agda
rename to standard-library-classes.agda
index b78f239..b088052 100644
--- a/Classes.agda
+++ b/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