All workflows build.yaml

Actor

All actors josia

Status

All status success failure waiting running

19

#43 -Commit 9b625846ec pushed by josia

master

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

2m0s

thank you!

#37 -Commit 5ee9701949 pushed by josia

master

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

1m38s

lecture 12

#29 -Commit 9a3359dfd0 pushed by josia

master

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

1m19s

xspace

#24 -Commit 32c8b3214b pushed by josia

master

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

1m13s

small fixes

#23 -Commit 26c32ce1bb pushed by josia

master

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

1m14s

better ref for axioms

#22 -Commit 64a348389b pushed by josia

master

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

1m14s

some fixes

#21 -Commit 0771440511 pushed by josia

master

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

1m13s

fixed label

#9 -Commit 4a27324442 pushed by josia

master

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

1m7s

lecture 03

#8 -Commit 1860f988c2 pushed by josia

master

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

1m8s

03 beginning

#7 -Commit ad39e2ac6d pushed by josia

master

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

1m6s

lecture 02

#6 -Commit f7bd6359bd pushed by josia

master

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

1m6s

updated README.md

#5 -Commit 5f5de21d3d pushed by josia

master

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

1m10s

fixed ci

#4 -Commit a7c18aa973 pushed by josia

master

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

1m6s

gitea ci

#2 -Commit 513c04095e pushed by josia

master

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

1m6s