Skip to content
Snippets Groups Projects
Select Git revision
  • 09ad41cbbcf4928b40dcf8c716f2439c32c29963
  • 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

index.html

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    postBuild 277 B
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12 
    

    

    

    #!/bin/bash

set -o errexit
set -o nounset
set -o pipefail
set -o verbose

GRADLE_USER_HOME="${PWD}" ./gradlew shadowJar
java -jar build/libs/prob2-jupyter-kernel-*-all.jar install --user
# Remove no longer needed files to reduce size of image.
rm -r .gradle/ build/ releases/