Skip to content

sat4j
sat4j
Commit e5a61a7f authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files
Options

Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git

parents 3dfc50b4 7dcb4f62
Pipeline #2874 passed with stages
      in 39 minutes and 57 seconds
      Hide whitespace changes
      Inline Side-by-side
      Showing with 1 addition and 1 deletion
      pom.xml
      View file @ e5a61a7f
      ......@@ -289,7 +289,7 @@ Sat4j is a full featured boolean reasoning library designed to bring state-of-th
      <plugin>
      <groupId>org.jacoco</groupId>
      <artifactId>jacoco-maven-plugin</artifactId>
      <version>0.7.9</version>
      <version>0.8.2</version>
      <executions>
      <execution>
      <phase>process-test-classes</phase>
      ......
      Markdown is supported
      0% or
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment