.github/workflows/coverage.yml

@@ -8,11 +8,11 @@ jobs:
     name: Code Quality Check
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v3
         with:
           fetch-depth: 0  # Shallow clones should be disabled for a better relevancy of analysis
       - name: Set up JDK 11
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v3
         with:
           distribution: 'temurin'
           java-version: 11

src/test/java/speiger/src/testers/utils/SpecialFeature.java

@@ -18,7 +18,6 @@ public enum SpecialFeature implements Feature<Collection> {
 	ITERATOR_MODIFIABLE,
 	MAP_ENTRY,
 	DESCENDING,
-	REVERSE,
 	SUBMAP;
 
 	private final Set<Feature<? super Collection>> implied;