Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Debug CI #1622

Merged
merged 13 commits into from
Dec 11, 2024
Merged

Debug CI #1622

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
d82aace
try to add stainless to path
samuelchassot Dec 11, 2024
ffa9338
new way to add temp folder to options
samuelchassot Dec 11, 2024
1e37eb4
opne line
samuelchassot Dec 11, 2024
12abf38
line break
samuelchassot Dec 11, 2024
17b8473
print in tests
samuelchassot Dec 11, 2024
db4d3f2
change permission of temp folder
samuelchassot Dec 11, 2024
cc07f80
debug
samuelchassot Dec 11, 2024
ee92cbf
debug
samuelchassot Dec 11, 2024
d89c72a
trying to reduce path
samuelchassot Dec 11, 2024
ce6ac8b
temporary fix , with one temp folder per CI, which is cleaned up anyway
samuelchassot Dec 11, 2024
4a37dbf
better temp
samuelchassot Dec 11, 2024
9a38f4f
add rm folder
samuelchassot Dec 11, 2024
ca02f1d
remove print that was causing errors
samuelchassot Dec 11, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 11 additions & 5 deletions .github/workflows/stainless-CI.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,11 +10,10 @@ jobs:
runs-on:
labels: [self-hosted, linux]
env:
JAVA_OPTS_TMP_DIR: ./tmp_java
# define Java options for both official sbt and sbt-extras
JAVA_OPTS: -Dsbt.io.implicit.relative.glob.conversion=allow -Xss512M -Xms1024M -Xmx12G -XX:MaxMetaspaceSize=2G -XX:+UseCodeCacheFlushing -XX:ReservedCodeCacheSize=768M -Djava.io.tmpdir=./tmp_java
JVM_OPTS: -Dsbt.io.implicit.relative.glob.conversion=allow -Xss512M -Xms1024M -Xmx12G -XX:MaxMetaspaceSize=2G -XX:+UseCodeCacheFlushing -XX:ReservedCodeCacheSize=768M -Djava.io.tmpdir=./tmp_java
SBT_OPTS: -Djava.io.tmpdir=./temp_java --sbt-dir ./temp_java/.sbt
JAVA_OPTS: -Dsbt.io.implicit.relative.glob.conversion=allow -Xss512M -Xms1024M -Xmx12G -XX:MaxMetaspaceSize=2G -XX:+UseCodeCacheFlushing -XX:ReservedCodeCacheSize=768M
JVM_OPTS: -Dsbt.io.implicit.relative.glob.conversion=allow -Xss512M -Xms1024M -Xmx12G -XX:MaxMetaspaceSize=2G -XX:+UseCodeCacheFlushing -XX:ReservedCodeCacheSize=768M
JAVA_OPTS_TMP_DIR: /tmp/tmp_${{ github.run_id }}_${{ github.run_attempt }}
steps:
- name: Checkout
uses: actions/checkout@v4
Expand All @@ -25,6 +24,13 @@ jobs:
with:
distribution: temurin
java-version: 17
- name: Setup java options
run: |
echo "JAVA_OPTS=$JAVA_OPTS -Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV" && \
echo "JVM_OPTS=$JVM_OPTS -Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV" && \
echo "SBT_OPTS=-Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR --sbt-dir $JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV"
- name: Creating temp folder
run: rm -rf $JAVA_OPTS_TMP_DIR && mkdir -p $JAVA_OPTS_TMP_DIR && chmod 777 $JAVA_OPTS_TMP_DIR
- name: Install and unpack sbt
run: |
wget https://github.com/sbt/sbt/releases/download/v1.10.1/sbt-1.10.1.tgz
Expand All @@ -37,7 +43,7 @@ jobs:
- name: Test solvers availability
run: cvc5 --version && z3 --version && cvc4 --version
- name: Build and Package
run: ./stainless-ci.sh --build-only
run: ./stainless-ci.sh --build-only && echo "PATH=./frontends/dotty/target/universal/stage/bin:$PATH" >> "$GITHUB_ENV"
- name: Run Tests and Integration Tests
run: ./stainless-ci.sh --skip-build --skip-bolts --skip-sbt-plugin
- name: Sbt Plugin Tests
Expand Down
1 change: 1 addition & 0 deletions stainless-ci.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,7 @@ SBT_TEMP=$ROOT_DIR/sbt-temp
# if TEMP_DIR is not set, set it to the default
JAVA_OPTS_TMP_DIR=${JAVA_OPTS_TMP_DIR:-$ROOT_DIR/temporary}
mkdir -p $JAVA_OPTS_TMP_DIR
chmod 777 $JAVA_OPTS_TMP_DIR
SBT_DIR=$ROOT_DIR/temp # make better later
SBT=${SBT_DIR}/sbt/bin/sbt

Expand Down