Commit 1192184 1 parent 11b7e6d commit 1192184 Copy full SHA for 1192184
File tree 2 files changed +8
-8
lines changed
2 files changed +8
-8
lines changed Original file line number Diff line number Diff line change 2
2
- build
3
3
- package
4
4
5
+ default :
6
+ interruptible : true
7
+
5
8
# ----------- Build MiniZincIDE -----------
6
9
7
10
build:linux :
@@ -295,16 +298,15 @@ package:docker_ubuntu:
295
298
script :
296
299
- strip minizinc/bin/minizinc vendor/gecode/bin/fzn-gecode vendor/gecode_gist/bin/fzn-gecode vendor/chuffed/bin/fzn-chuffed findMUS/bin/findMUS globalizer/bin/minizinc-globalizer minizinc/bin/mzn2doc
297
300
- cp resources/pkg_config/snapcraft.yaml .
298
- - echo "$MZNVERSION" > version.txt
299
301
- apt-get update -y
302
+ - snapcraft login --with $SNAPCRAFT_LOGIN
300
303
- snapcraft
301
- - echo "$SNAPLOGIN" > login.pass
302
- - snapcraft login --with login.pass
303
- - snapcraft push --release=edge minizinc*.snap
304
+ - snapcraft upload minizinc*.snap --release edge
304
305
artifacts :
305
306
name : " minizinc_snap_${CI_PIPELINE_ID}"
306
307
paths : [minizinc*.snap]
307
308
dependencies : []
309
+ needs : []
308
310
tags : [linux, docker]
309
311
310
312
package:snap :
Original file line number Diff line number Diff line change 1
1
name : minizinc
2
- version : latest
3
- version-script : cat version.txt
2
+ version : git
4
3
summary : The MiniZinc bundle
5
4
icon : resources/icon.png
6
5
description : |
27
26
ide :
28
27
plugin : qmake
29
28
source : .
30
- project-files :
31
- - MiniZincIDE/MiniZincIDE.pro
29
+ source-subdir : MiniZincIDE
32
30
qt-version : qt5
33
31
after : [desktop-qt5]
34
32
build-packages :
You can’t perform that action at this time.
0 commit comments