run jobs sequentially
build.yaml #38:Commit 505cdf92ca pushed by max
2023-10-19 13:16:10 +02:00
59s
ci-test
build.yaml #37:Commit bc3a076cd6 pushed by max
2023-10-19 13:11:39 +02:00
1m10s
use caches to speed up compilation
build.yaml #36:Commit 92dc505b06 pushed by max
2023-10-19 13:06:07 +02:00
6m22s
fix TEXINPUTS
build.yaml #35:Commit b1925a752f pushed by max
2023-10-19 10:47:44 +02:00
4m42s
further try
build.yaml #34:Commit e7f4d10438 pushed by max
2023-10-19 10:27:48 +02:00
54s
next try
build.yaml #33:Commit 6ae8238e15 pushed by max
2023-10-19 10:10:18 +02:00
56s
further attempt to compile correctly
build.yaml #32:Commit 8bed099045 pushed by max
2023-10-19 09:58:03 +02:00
1m41s
fix ci file
build.yaml #31:Commit 13bbc42e4e pushed by max
2023-10-19 02:59:13 +02:00
1m43s
correctly compile in pipeline
build.yaml #30:Commit eaf0763583 pushed by max
2023-10-19 02:53:30 +02:00
1m55s
set -e for compilation script
build.yaml #29:Commit 72cc9d78b0 pushed by max
2023-10-19 02:52:16 +02:00
1m50s
change job name
build.yaml #28:Commit 34f0a41699 pushed by max
2023-10-19 02:50:31 +02:00
1m45s
generate documentation on master
build.yaml #27:Commit c07e84d91b pushed by max
2023-10-19 02:26:23 +02:00
1m42s
fix path
build.yaml #26:Commit 8798571831 pushed by max
2023-10-19 02:23:33 +02:00
37s
adjust ci to new build style
build.yaml #25:Commit 823c5097ce pushed by max
2023-10-19 02:22:38 +02:00
24s
use single job
build.yaml #24:Commit b587beb806 pushed by max
2023-10-18 18:52:18 +02:00
4m44s
update readme
build.yaml #23:Commit 2cd113166d pushed by max
2023-10-18 16:36:51 +02:00
8s
adapt commit message in build repo
build.yaml #22:Commit 6263366b56 pushed by max
2023-10-18 16:32:07 +02:00
8s
fix origin url
build.yaml #21:Commit 0156ddca43 pushed by max
2023-10-18 16:31:59 +02:00
8s
fix permissions on ssh key
build.yaml #20:Commit 476b57d2ba pushed by max
2023-10-18 16:05:25 +02:00
30s
2023-10-18 16:03:10 +02:00
32s
configure git directly before building
build.yaml #18:Commit e8fedd07a0 pushed by max
2023-10-18 15:53:12 +02:00
29s
rename deploy key secret
build.yaml #17:Commit 65c801c212 pushed by max
2023-10-18 15:50:43 +02:00
8s
correct domain for host key
build.yaml #16:Commit f941a10fe6 pushed by max
2023-10-18 11:29:08 +02:00
31s
enter remote host key
build.yaml #15:Commit 5a0ec99d86 pushed by max
2023-10-18 11:27:27 +02:00
31s
fix push
build.yaml #14:Commit 3c8f825e3f pushed by max
2023-10-18 11:25:54 +02:00
32s
fix pushing to build repo
build.yaml #13:Commit 7e76546afd pushed by max
2023-10-18 11:21:04 +02:00
30s
fix ssh url
build.yaml #12:Commit d5af0e7ad1 pushed by max
2023-10-18 11:18:27 +02:00
49s
explicitly use ssh to clone
build.yaml #11:Commit 4719ba2d52 pushed by max
2023-10-18 11:16:46 +02:00
22s
fix ref name
build.yaml #10:Commit e0b9b7ad44 pushed by max
2023-10-18 11:15:31 +02:00
33s
clone history as well
build.yaml #9:Commit 7c3775828e pushed by max
2023-10-18 11:13:40 +02:00
32s