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