All workflows build.yaml

Actor

All actors josia

Status

All status success failure waiting running

yaref dependencies

#61 -Commit 9956de5277 pushed by josia

master

2024-03-20 22:34:17 +01:00

15m57s

some small changes

#60 -Commit ab14be172f pushed by josia

master

2024-02-16 19:59:15 +01:00

14m15s

some changes

#59 -Commit f4626be14b pushed by josia

master

2024-02-15 05:02:17 +01:00

17m21s

gist complete

#58 -Commit 858e017a4a pushed by josia

master

2024-02-14 23:34:19 +01:00

14m49s

silver gist

#57 -Commit cac1563244 pushed by josia

master

2024-02-14 19:02:17 +01:00

17m37s

some small changes

#56 -Commit 515ff64ac6 pushed by josia

master

2024-02-14 16:07:17 +01:00

15m19s

silver (unfinished gist)

#55 -Commit deaf6a6bb6 pushed by josia

master

2024-02-14 02:22:17 +01:00

15m15s

some small changes, gist

#54 -Commit ebdf929dd7 pushed by josia

master

2024-02-13 02:17:17 +01:00

16m11s

some small changes

#53 -Commit b1b2a5974d pushed by josia

master

2024-02-11 02:57:15 +01:00

13m45s

exam

#52 -Commit 3faf497be7 pushed by josia

master

2024-02-01 18:13:19 +01:00

16m19s

lecture 23

#51 -Commit 326cca0e54 pushed by josia

master

2024-01-25 19:12:19 +01:00

15m3s

lecture 22

#50 -Commit 11ca6cd6ae pushed by josia

master

2024-01-22 16:07:27 +01:00

14m14s

lecture 21

#49 -Commit 946da98a04 pushed by josia

master

2024-01-18 15:57:21 +01:00

15m17s

tutorial

#48 -Commit ca24c68790 pushed by josia

master

2024-01-17 12:02:19 +01:00

11m59s

updated proof on diagonal intersection

#47 -Commit 66d38de1ea pushed by josia

master

2024-01-16 00:24:26 +01:00

13m51s

updated proof on diagonal intersection

#46 -Commit 3d9d71fbd3 pushed by josia

master

2024-01-16 00:10:33 +01:00

3m36s

lecture 20

#45 -Commit 92a06d3a90 pushed by josia

master

2024-01-15 15:58:35 +01:00

12m29s

lecture 20

#44 -Commit f20516fa8c pushed by josia

master

2024-01-15 15:46:04 +01:00

18s

lecture 18

#42 -Commit c56c961955 pushed by josia

master

2024-01-10 23:09:16 +01:00

16m26s

fixed numbers of lectures and failed merge

#41 -Commit 1b02d7e7f3 pushed by josia

master

2024-01-10 22:44:16 +01:00

13m44s

Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2

#40 -Commit 73b8fb0dd1 pushed by josia

master

2024-01-09 05:22:17 +01:00

16m37s

Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2

#39 -Commit 173015ffc9 pushed by josia

master

2023-12-19 03:54:45 +01:00

11m45s

lecture 17

#38 -Commit a2f5328287 pushed by josia

master

2023-12-18 21:29:14 +01:00

12m24s

thank you!

#36 -Commit 8eba654cdc pushed by josia

master

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

6m25s

lecture 16

#35 -Commit 8f00d7998b pushed by josia

master

2023-12-15 05:42:13 +01:00

15m9s

lecture 15

#34 -Commit ede97ee426 pushed by josia

master

2023-12-07 16:07:13 +01:00

13m8s

typo

#33 -Commit 68280c4b70 pushed by josia

master

2023-12-04 16:22:13 +01:00

15m24s

Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2

#32 -Commit 2b1296255b pushed by josia

master

2023-12-04 15:57:13 +01:00

11m0s

Suggestions by Mirko (pages 1 - 18), thank you!

#31 -Commit bc24bdab44 pushed by josia

master

2023-12-03 03:42:13 +01:00

-13m3s

13

#30 -Commit 97757443c4 pushed by josia

master

2023-11-30 16:07:14 +01:00

13m34s