Hugging Face's logo

Spaces:
Syzygianinfern0
/
NeuS-V
Sleeping

App Files Community
Syzygianinfern0 commited on
Commit
d2877c2
·
1 Parent(s): e58376a

Reduce jobs

Browse files
Files changed (1) hide show
  1. Dockerfile +1 -1
Dockerfile CHANGED
@@ -49,7 +49,7 @@ RUN mkdir -p storm_build && \
49
  -DSTORM_LOG_DISABLE_DEBUG=ON \
50
  -DSTORM_PORTABLE=ON \
51
  -DSTORM_USE_SPOT_SHIPPED=ON && \
52
- make -j12
53
 
54
  RUN pip install stormpy
55
 
 
49
  -DSTORM_LOG_DISABLE_DEBUG=ON \
50
  -DSTORM_PORTABLE=ON \
51
  -DSTORM_USE_SPOT_SHIPPED=ON && \
52
+ make -j4
53
 
54
  RUN pip install stormpy
55