w23-logic-3

Author	SHA1	Message	Date
Josia Pietsch	324dddda04	Sheet 9, exercise 4 Some checks failed Build latex and deploy / checkout (push) Failing after 13m48s Details	2024-01-06 19:04:51 +01:00
Josia Pietsch	c3948b12ec	tutorial 10 All checks were successful Build latex and deploy / checkout (push) Successful in 2m33s Details	2023-12-19 17:39:37 +01:00
Josia Pietsch	aa7f3de504	lecture 10 Some checks failed Build latex and deploy / checkout (push) Failing after 50s Details	2023-12-19 13:37:02 +01:00