josia-notes/w23-logic-2
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
75 Commits 1 Branch 0 Tags 631 KiB
master
Commit Graph

75 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Josia Pietsch
0771440511
some fixes
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m12s
Details
2023-11-13 19:42:48 +01:00
Josia Pietsch
883ee88516
TODO
Some checks failed
Build latex and deploy / checkout (push) Failing after 39s
Details
2023-11-13 15:52:38 +01:00
Josia Pietsch
37e521d4af
lecture 08 2023-11-13 15:50:08 +01:00
Josia Pietsch
54406f77ab
Lecture 7
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m2s
Details
2023-11-09 15:44:04 +01:00
Josia Pietsch
a6465aea45
lecture 6
Some checks failed
Build latex and deploy / checkout (push) Failing after 14m35s
Details
2023-11-06 16:22:31 +01:00
Josia Pietsch
e7baf0832b
small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m16s
Details
2023-11-05 03:16:40 +01:00
Josia Pietsch
430ad82e8b
lecture 04
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m8s
Details
2023-11-05 00:50:26 +01:00
Josia Pietsch
340e034fdf
lecture 4
Some checks failed
Build latex and deploy / checkout (push) Failing after 55s
Details
2023-11-04 23:28:39 +01:00
Josia Pietsch
ab3a4b7556
lecture 06
Some checks failed
Build latex and deploy / checkout (push) Failing after 41s
Details
2023-10-31 20:16:15 +01:00
Josia Pietsch
c787dd2b51
lecture 5
Some checks failed
Build latex and deploy / checkout (push) Failing after 40s
Details
2023-10-30 15:52:49 +01:00
Josia Pietsch
10313b35f1
Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
Some checks failed
Build latex and deploy / checkout (push) Failing after 14m10s
Details
2023-10-25 15:37:34 +02:00
Josia Pietsch
5f1f4c9fe9
fix 2023-10-25 15:37:22 +02:00
Josia Pietsch
b5e2d09090
small fix
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m3s
Details
2023-10-24 10:51:01 +02:00
Josia Pietsch
fb2c5b2715
fixed label
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m17s
Details
2023-10-24 10:48:41 +02:00
Josia Pietsch
4a27324442
fixed label
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m6s
Details
2023-10-24 10:34:43 +02:00
Josia Pietsch
1860f988c2
lecture 03
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m8s
Details
2023-10-23 23:45:24 +02:00
Josia Pietsch
ad39e2ac6d
03 beginning
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m5s
Details
2023-10-23 22:43:31 +02:00
Josia Pietsch
f7bd6359bd
lecture 02
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m5s
Details
2023-10-23 11:44:15 +02:00
Josia Pietsch
5f5de21d3d
updated README.md
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m9s
Details
2023-10-21 15:38:20 +02:00
Josia Pietsch
a7c18aa973
fixed ci
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m5s
Details
2023-10-17 23:48:12 +02:00
Josia Pietsch
1306c62e93
add readme to pages
Some checks failed
Build latex and deploy / checkout (push) Failing after 17s
Details
2023-10-17 23:43:24 +02:00
Josia Pietsch
513c04095e
gitea ci
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m6s
Details
2023-10-17 21:06:56 +02:00
Josia Pietsch
5de1db2631
gitea ci
Some checks failed
Build latex and deploy / checkout (push) Failing after 1m4s
Details
2023-10-17 21:03:49 +02:00
Josia Pietsch
2d912c7f87
lecture 1 2023-10-16 16:51:42 +02:00
Josia Pietsch
535bfd1b37
initial commit 2023-10-16 16:24:38 +02:00