All workflows build.yaml

Actor

All actors max

Status

All status success failure waiting running

run jobs sequentially

#38 -Commit 505cdf92ca pushed by max

master

2023-10-19 13:16:10 +02:00

59s

ci-test

#37 -Commit bc3a076cd6 pushed by max

master

2023-10-19 13:11:39 +02:00

1m10s

use caches to speed up compilation

#36 -Commit 92dc505b06 pushed by max

master

2023-10-19 13:06:07 +02:00

6m22s

fix TEXINPUTS

#35 -Commit b1925a752f pushed by max

master

2023-10-19 10:47:44 +02:00

4m42s

further try

#34 -Commit e7f4d10438 pushed by max

master

2023-10-19 10:27:48 +02:00

54s

next try

#33 -Commit 6ae8238e15 pushed by max

master

2023-10-19 10:10:18 +02:00

56s

further attempt to compile correctly

#32 -Commit 8bed099045 pushed by max

master

2023-10-19 09:58:03 +02:00

1m41s

fix ci file

#31 -Commit 13bbc42e4e pushed by max

master

2023-10-19 02:59:13 +02:00

1m43s

correctly compile in pipeline

#30 -Commit eaf0763583 pushed by max

master

2023-10-19 02:53:30 +02:00

1m55s

set -e for compilation script

#29 -Commit 72cc9d78b0 pushed by max

master

2023-10-19 02:52:16 +02:00

1m50s

change job name

#28 -Commit 34f0a41699 pushed by max

master

2023-10-19 02:50:31 +02:00

1m45s

generate documentation on master

#27 -Commit c07e84d91b pushed by max

master

2023-10-19 02:26:23 +02:00

1m42s

fix path

#26 -Commit 8798571831 pushed by max

master

2023-10-19 02:23:33 +02:00

37s

adjust ci to new build style

#25 -Commit 823c5097ce pushed by max

master

2023-10-19 02:22:38 +02:00

24s

use single job

#24 -Commit b587beb806 pushed by max

master

2023-10-18 18:52:18 +02:00

4m44s

update readme

#23 -Commit 2cd113166d pushed by max

master

2023-10-18 16:36:51 +02:00

8s

adapt commit message in build repo

#22 -Commit 6263366b56 pushed by max

master

2023-10-18 16:32:07 +02:00

8s

fix origin url

#21 -Commit 0156ddca43 pushed by max

master

2023-10-18 16:31:59 +02:00

8s

fix permissions on ssh key

#20 -Commit 476b57d2ba pushed by max

master

2023-10-18 16:05:25 +02:00

30s

change setting up git: don't use agent, directly write to ~/.ssh

#19 -Commit 3858718041 pushed by max

master

2023-10-18 16:03:10 +02:00

32s

configure git directly before building

#18 -Commit e8fedd07a0 pushed by max

master

2023-10-18 15:53:12 +02:00

29s

rename deploy key secret

#17 -Commit 65c801c212 pushed by max

master

2023-10-18 15:50:43 +02:00

8s

correct domain for host key

#16 -Commit f941a10fe6 pushed by max

master

2023-10-18 11:29:08 +02:00

31s

enter remote host key

#15 -Commit 5a0ec99d86 pushed by max

master

2023-10-18 11:27:27 +02:00

31s

fix push

#14 -Commit 3c8f825e3f pushed by max

master

2023-10-18 11:25:54 +02:00

32s

fix pushing to build repo

#13 -Commit 7e76546afd pushed by max

master

2023-10-18 11:21:04 +02:00

30s

fix ssh url

#12 -Commit d5af0e7ad1 pushed by max

master

2023-10-18 11:18:27 +02:00

49s

explicitly use ssh to clone

#11 -Commit 4719ba2d52 pushed by max

master

2023-10-18 11:16:46 +02:00

22s

fix ref name

#10 -Commit e0b9b7ad44 pushed by max

master

2023-10-18 11:15:31 +02:00

33s

clone history as well

#9 -Commit 7c3775828e pushed by max

master

2023-10-18 11:13:40 +02:00

32s