|
476b57d2ba
|
fix permissions on ssh key
Build LaTeX packages / build (push) Failing after 28s
Build LaTeX packages / deploy-pages (push) Has been skipped
|
2023-10-18 16:03:51 +02:00 |
|
|
3858718041
|
change setting up git: don't use agent, directly write to ~/.ssh
Build LaTeX packages / build (push) Failing after 30s
Build LaTeX packages / deploy-pages (push) Has been skipped
|
2023-10-18 16:01:37 +02:00 |
|
|
65c801c212
|
rename deploy key secret
Build LaTeX packages / build (push) Failing after 31s
Build LaTeX packages / deploy-pages (push) Failing after 7s
|
2023-10-18 11:31:12 +02:00 |
|
|
f941a10fe6
|
correct domain for host key
Build LaTeX packages / build (push) Failing after 29s
Build LaTeX packages / deploy-pages (push) Has been skipped
|
2023-10-18 11:27:37 +02:00 |
|
|
5a0ec99d86
|
enter remote host key
Build LaTeX packages / build (push) Failing after 29s
Build LaTeX packages / deploy-pages (push) Has been skipped
|
2023-10-18 11:25:56 +02:00 |
|
|
3c8f825e3f
|
fix push
Build LaTeX packages / build (push) Failing after 30s
Build LaTeX packages / deploy-pages (push) Has been skipped
|
2023-10-18 11:24:21 +02:00 |
|
|
7e76546afd
|
fix pushing to build repo
Build LaTeX packages / build (push) Failing after 29s
Build LaTeX packages / deploy-pages (push) Has been skipped
|
2023-10-18 11:19:33 +02:00 |
|
|
e0b9b7ad44
|
fix ref name
Build LaTeX packages / build (push) Failing after 32s
Build LaTeX packages / deploy-pages (push) Has been skipped
|
2023-10-18 11:13:58 +02:00 |
|
|
298e515a51
|
fix environment variable
Build LaTeX packages / build (push) Failing after 24s
Build LaTeX packages / deploy-pages (push) Has been skipped
|
2023-10-18 11:04:38 +02:00 |
|
|
896956f6fa
|
fix ref name context variable
Build LaTeX packages / build (push) Failing after 25s
Build LaTeX packages / deploy-pages (push) Failing after 6s
|
2023-10-18 10:26:11 +02:00 |
|
|
1de88c00b8
|
rename deploy key variable
Build LaTeX packages / build (push) Failing after 50s
Build LaTeX packages / deploy-pages (push) Failing after 7s
|
2023-10-18 09:56:35 +02:00 |
|
|
6aa92357e0
|
ajust ci
|
2023-10-18 09:51:02 +02:00 |
|
|
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 |
|