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