fix ci

Author: GiggleLiu

.github/workflows/CI.yml

@@ -53,17 +53,10 @@ jobs:
             ${{ runner.os }}-
       - uses: julia-actions/julia-buildpkg@v1
       - uses: julia-actions/julia-runtest@v1
-
-  finish:
-      needs: [pre_job, test]
-      if: ${{ needs.pre_job.outputs.should_skip != 'true' }}
-      name: Code coverage
-      runs-on: ubuntu-latest
-      steps:
-        - uses: julia-actions/julia-processcoverage@v1
-        - uses: codecov/codecov-action@v1
-          with:
-            file: lcov.info
+      - uses: julia-actions/julia-processcoverage@v1
+      - uses: codecov/codecov-action@v1
+        with:
+          file: lcov.info
 
   docs:
     name: Documentation

examples/IndependentSet.jl

@@ -121,7 +121,7 @@ single_solution = max_config.c.data
 show_graph(graph; locs=locations, vertex_colors=
     [iszero(single_solution[i]) ? "white" : "red" for i=1:nv(graph)])
 
-# ##### Enumerate all solutions best several solutions
+# ##### Enumerate all solutions and best several solutions
 # We can use bounded or unbounded [`ConfigsMax`](@ref) to find all solutions with largest-K set sizes.
 # In most cases, the bounded (default) version is preferred because it can reduce the memory usage significantly.
 all_max_configs = solve(problem, ConfigsMax(; bounded=true))[]