All workflows build.yaml

Actor

All actors josia

Status

All status success failure waiting running

fixed error

#112 -Commit 76fb9b562f pushed by josia

main

2024-04-24 13:37:16 +02:00

18m11s

fixed error

#111 -Commit a0cc70cadf pushed by josia

main

2024-04-24 13:19:04 +02:00

16m57s

small fix

#110 -Commit bbb891594c pushed by josia

main

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

17m33s

some small changes

#109 -Commit 3df55b6516 pushed by josia

main

2024-02-10 05:37:16 +01:00

15m54s

fixed some typesetting problems

#108 -Commit 6c5eda59e4 pushed by josia

main

2024-02-09 21:02:15 +01:00

18m51s

fixed some typesetting problems

#107 -Commit 458dd9ab1f pushed by josia

main

2024-02-09 20:42:15 +01:00

19m1s

removed junk

#106 -Commit dcf4851177 pushed by josia

main

2024-02-09 20:12:15 +01:00

18m5s

some changes

#105 -Commit de89e2dc1d pushed by josia

main

2024-02-08 17:47:15 +01:00

15m57s

more details

#104 -Commit 1d96095f62 pushed by josia

main

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

20m0s

picture

#103 -Commit 15c9ff10ea pushed by josia

main

2024-02-08 15:37:13 +01:00

5m36s

maximal isometric extension

#102 -Commit af5ccd6c33 pushed by josia

main

2024-02-08 15:31:36 +01:00

8m1s

fixed typo

#101 -Commit 6d028bcfbd pushed by josia

main

2024-02-08 00:44:15 +01:00

17m36s

fixed typo in gist

#100 -Commit 1e35e182cf pushed by josia

main

2024-02-07 23:44:15 +01:00

15m38s

fixed typo in gist

#99 -Commit 195ac2c378 pushed by josia

main

2024-02-07 23:28:36 +01:00

6m31s

more gist

#98 -Commit bc8b5a8b6c pushed by josia

main

2024-02-07 23:04:15 +01:00

15m14s

gist

#97 -Commit dd99d09b1c pushed by josia

main

2024-02-07 20:02:18 +01:00

17m51s

l21

#96 -Commit 4c0c7730f1 pushed by josia

main

2024-02-07 18:17:18 +01:00

17m29s

fixed important typo

#95 -Commit 82f0dfd4de pushed by josia

main

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

15m5s

some changes

#94 -Commit d7809a884a pushed by josia

main

2024-02-07 13:23:26 +01:00

5m5s

some small changes

#93 -Commit e887f46a5d pushed by josia

main

2024-02-07 02:22:18 +01:00

16m51s

12.1, 12.2

#92 -Commit 9d601c2e62 pushed by josia

main

2024-02-06 22:29:25 +01:00

15m44s

countable well-orders

#91 -Commit 5b34fb34d1 pushed by josia

main

2024-02-06 20:43:55 +01:00

18m44s

fixed typo

#90 -Commit e3dea569e8 pushed by josia

main

2024-02-06 20:18:55 +01:00

18m0s

order / rank

#89 -Commit 227e2ac7b9 pushed by josia

main

2024-02-06 20:00:54 +01:00

9m43s

fixed typo

#88 -Commit 8c3be56270 pushed by josia

main

2024-02-06 15:58:55 +01:00

12m28s

more details

#87 -Commit de2d240c5a pushed by josia

main

2024-02-06 15:19:11 +01:00

5m7s

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

#86 -Commit 415ff41b60 pushed by josia

main

2024-02-06 15:14:04 +01:00

4m42s

some small changes

#85 -Commit ba609dfed0 pushed by josia

main

2024-02-06 02:04:21 +01:00

17m21s

some small changes

#84 -Commit 59d595f9ef pushed by josia

main

2024-02-05 23:54:21 +01:00

17m13s

improved lecture 17

#83 -Commit 6c2a76d838 pushed by josia

main

2024-02-05 21:09:21 +01:00

18m19s