All workflows build.yaml

Actor

All actors josia

Status

All status success failure waiting running

19

build.yaml #43 -Commit 9b625846ec pushed by josia

master

2024-01-13 03:52:58 +01:00

2m0s

thank you!

build.yaml #37 -Commit 5ee9701949 pushed by josia

master

2023-12-15 19:12:10 +01:00

1m38s

lecture 12

build.yaml #29 -Commit 9a3359dfd0 pushed by josia

master

2023-11-27 16:10:06 +01:00

1m19s

xspace

build.yaml #24 -Commit 32c8b3214b pushed by josia

master

2023-11-14 23:15:04 +01:00

1m13s

small fixes

build.yaml #23 -Commit 26c32ce1bb pushed by josia

master

2023-11-13 20:29:43 +01:00

1m14s

better ref for axioms

build.yaml #22 -Commit 64a348389b pushed by josia

master

2023-11-13 20:23:17 +01:00

1m14s

some fixes

build.yaml #21 -Commit 0771440511 pushed by josia

master

2023-11-13 19:44:08 +01:00

1m13s

fixed label

build.yaml #9 -Commit 4a27324442 pushed by josia

master

2023-10-24 10:35:57 +02:00

1m7s

lecture 03

build.yaml #8 -Commit 1860f988c2 pushed by josia

master

2023-10-24 00:03:08 +02:00

1m8s

03 beginning

build.yaml #7 -Commit ad39e2ac6d pushed by josia

master

2023-10-23 22:44:44 +02:00

1m6s

lecture 02

build.yaml #6 -Commit f7bd6359bd pushed by josia

master

2023-10-23 11:45:28 +02:00

1m6s

updated README.md

build.yaml #5 -Commit 5f5de21d3d pushed by josia

master

2023-10-21 21:27:52 +02:00

1m10s

fixed ci

build.yaml #4 -Commit a7c18aa973 pushed by josia

master

2023-10-17 23:49:26 +02:00

1m6s

gitea ci

build.yaml #2 -Commit 513c04095e pushed by josia

master

2023-10-17 21:08:08 +02:00

1m6s