|
|
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 |
|
|
|
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 |
|
|
|
2524b6a0e0
|
Build rework
|
2021-10-24 08:35:53 +00:00 |
|
