Bump to agda-2.8.0

Author: omelkonian

.github/workflows/ci.yml

@@ -15,8 +15,8 @@ jobs:
       - uses: actions/checkout@v3
       - uses: omelkonian/[email protected]
         with:
-          agda-version: 2.7.0.1
-          stdlib-version: 2.2
+          agda-version: 2.8.0
+          stdlib-version: 2.3
           main: standard-library-classes
           deploy: ${{ github.ref == 'refs/heads/master' }}
           token: ${{ secrets.GITHUB_TOKEN }}