|
e2d4d57eb0
|
update ci build script to have built packages available when generating documentation
|
2022-01-30 21:56:06 +01:00 |
|
|
736662b005
|
fix mistake in ci script
|
2022-01-30 21:40:13 +01:00 |
|
|
457a8d3cf3
|
make build error if script errors
|
2022-01-30 21:36:18 +01:00 |
|
|
69423e3a50
|
update ci
|
2022-01-30 21:33:32 +01:00 |
|
|
0ca188057a
|
update CI script
|
2022-01-30 21:30:44 +01:00 |
|
|
3f0fd326c2
|
make script executable
|
2021-10-24 11:24:07 +02:00 |
|
|
a0fbf61664
|
clean up gitlab ci config
|
2021-10-24 11:23:20 +02:00 |
|
|
2524b6a0e0
|
Build rework
|
2021-10-24 08:35:53 +00:00 |
|