josia-notes/w23-logic-2

Author	SHA1	Message	Date
Josia Pietsch	11ca6cd6ae	lecture 22 Some checks failed Build latex and deploy / checkout (push) Failing after 14m14s Details	2024-01-22 15:54:52 +01:00
Josia Pietsch	946da98a04	lecture 21 Some checks failed Build latex and deploy / checkout (push) Failing after 15m17s Details	2024-01-18 15:43:47 +01:00
Josia Pietsch	f20516fa8c	lecture 20 Some checks failed Build latex and deploy / checkout (push) Has been cancelled Details	2024-01-15 15:47:24 +01:00
Josia Pietsch	9b625846ec	19 All checks were successful Build latex and deploy / checkout (push) Successful in 2m0s Details	2024-01-13 03:50:51 +01:00