|
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 |
|
|
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 |
|
|
457a8d3cf3
|
make build error if script errors
|
2022-01-30 21:36:18 +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 |
|