Skip to content
Snippets Groups Projects
Select Git revision
  • a8d433df9170d4306beadbc7ee1ccfe1b232a873
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

prob_rodin_plugin

  • Open with
  • Download source code
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

    • user avatar
    Extract public_examples into build directory to fix Gradle warnings
    dgelessus authored 
    Gradle 7 warns that extractPublicExamples could affect other tasks that
don't depend on it, presumably because the tar file might contain a
directory like src/main/java that might overwrite the project sources.
This will become an error in Gradle 8. The simplest fix is to extract
the tar into its own subdirectory that cannot conflict with anything
else.
    eb0da14a
    History
    user avatar eb0da14a
    History
    Name Last commit Last update