Andrea Dell'Amico
|
e3c97b82c6
|
Fix the fuse-workspace.jar file permissions.
|
2024-04-19 12:03:34 +02:00 |
Andrea Dell'Amico
|
19d10a1d6d
|
Add the libglpk40 package.
|
2024-04-17 19:41:53 +02:00 |
Andrea Dell'Amico
|
dbe85ffbb3
|
Add the workspace jar file.
|
2024-04-17 19:36:39 +02:00 |
Andrea Dell'Amico
|
5423f55eb2
|
Fix a typo in the Dockerfile
|
2023-04-11 16:22:20 +02:00 |
Andrea Dell'Amico
|
bc53caf7d2
|
Fix the image name
|
2023-04-11 16:20:34 +02:00 |
Andrea Dell'Amico
|
ecab2fcfa9
|
Jenkinsfile: correct the branch and docker tag
|
2023-04-11 16:12:30 +02:00 |
Andrea Dell'Amico
|
65294a8a27
|
First set of files.
|
2023-04-11 16:02:34 +02:00 |
Andrea Dell'Amico
|
e3312b3588
|
Initial commit
|
2023-04-11 15:26:00 +02:00 |