All Workflows build.yaml

Actor

All actors max

Status

All status success failure waiting running

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

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

build.yaml #19:Commit 3858718041 pushed by max

master

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

32s

configure git directly before building

build.yaml #18:Commit e8fedd07a0 pushed by max

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